A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems (2001)

by Fairouz Kamareddine, Twan Laan
Venue:Journal of Logic, Language and Information