Author(s):
Frade, M. J. 
; Pinto, Jorge Sousa
Date: 1998
Persistent ID: http://hdl.handle.net/1822/2046
Origin: RepositóriUM - Universidade do Minho
Subject(s): Teoria de tipos; Lambda-calculus; Prova assistida; Coq proof assistent
