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

Document Versions

A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems –Fairouz Kamareddine, Twan Laan — 2001 — Journal of Logic, Language and Information
A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems –Fairouz Kamareddine, Twan Laan — 2001 — JOURNAL OF LOGIC, LANGUAGE AND INFORMATION