A non-type-theoretic de nition of Martin-Lof's types (1987)

by Stuart F Allen
Venue:In Proceedings of the Second Conference onLogic in Computer Science