Proof representation in type theory: State of the art (1996)

by C Munoz
Venue:In Proceedings, XXII Latinamerican Conference of Informatics CLEI Panel 96, Santaf'e de