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 |