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 |