Listar por Autor Fernández, Maribel
Mostrando resultados 1 a 1 de 1
| Fecha de publicación | Título | Autor(es) |
|---|---|---|
| 2002 | An operational approach to program extraction in the Calculus of Constructions | Fernández, Maribel; Severi, Paula |
| Fecha de publicación | Título | Autor(es) |
|---|---|---|
| 2002 | An operational approach to program extraction in the Calculus of Constructions | Fernández, Maribel; Severi, Paula |