Listar por Autor Peratto, Patricia
Mostrando resultados 1 a 1 de 1
| Fecha de publicación | Título | Autor(es) |
|---|---|---|
| 1991 | Course-of-values recursion in Martin-Löf's type theory | Peratto, Patricia |
| Fecha de publicación | Título | Autor(es) |
|---|---|---|
| 1991 | Course-of-values recursion in Martin-Löf's type theory | Peratto, Patricia |