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

by F Kamareddine, T Laan
Venue:Journal of Logic, Language and Information