![](/img/cover-not-exists.png)
A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems
Fairouz Kamareddine, Twan LaanVolume:
10
Language:
english
Pages:
28
DOI:
10.1023/a:1011286100450
Date:
June, 2001
File:
PDF, 185 KB
english, 2001