Fairouz Kamareddine, Alejandro Ríos. Pure Type Systems with de Bruijn Indices. Comput. J., 45(2):187-201, 2002. [doi]
@article{KamareddineR02,
title = {Pure Type Systems with de Bruijn Indices},
author = {Fairouz Kamareddine and Alejandro Ríos},
year = {2002},
url = {http://www3.oup.co.uk/computer_journal/hdb/Volume_45/Issue_02/450187.sgm.abs.html},
tags = {type system},
researchr = {https://researchr.org/publication/KamareddineR02},
cites = {0},
citedby = {0},
journal = {Comput. J.},
volume = {45},
number = {2},
pages = {187-201},
}