An interpretation of Martin-Lof's type theory in a type-free theory of propositions (1984)

by J Smith
Venue:Journal of Symbolic Logic