An interpretation of martin-lof’s type theory in a type-free theory of propositions (1984)

by Jan M Smith
Venue:Nathan Fulton 2013/10/14 and 2013/10/16 9