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

Cached

Download Links

by Fairouz Kamareddine , Twan Laan
Venue:Journal of Logic, Language and Information
Citations:3 - 1 self