A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems
| Autor: | Kamareddine, Fairouz, Laan, Twan |
|---|---|
| Zdroj: | Journal of Logic, Language, and Information, 2001 Jul 01. 10(3), 375-402. |
| Databáze: | JSTOR Journals |
| Externí odkaz: |
|
Full text from SpringerLink