The identification of propositions and types in Martin-Löf’s Type Theory: A programming example (1983)

by Jan M Smith
Venue:In International Conference on Foundations of Computation Theory