noz. Proof representation in type theory: State of the art. Accepted to be presented (1996)

by C Mu
Venue:in the XXII Latinamerican Conference of Informatics CLEI Panel 96