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