Fairouz Kamareddine, Twan Laan. A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems. Journal of Logic, Language and Information, 10(3):375-402, 2001.
@article{KamareddineL01,
title = {A Correspondence between Martin-Löf Type Theory, the Ramified Theory of Types and Pure Type Systems},
author = {Fairouz Kamareddine and Twan Laan},
year = {2001},
tags = {type system, type theory},
researchr = {https://researchr.org/publication/KamareddineL01},
cites = {0},
citedby = {0},
journal = {Journal of Logic, Language and Information},
volume = {10},
number = {3},
pages = {375-402},
}