Tesis de maestría Course-of-values recursion in Martin-Löf's type theory Autor(es): Peratto, Patricia
Fecha de publicación: 1991
Institución: Universidad de la República