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