Autor(es):
Frade, M. J. 
; Pinto, Jorge Sousa
Data: 1998
Identificador Persistente: http://hdl.handle.net/1822/2046
Origem: RepositóriUM - Universidade do Minho
Assunto(s): Teoria de tipos; Lambda-calculus; Prova assistida; Coq proof assistent
