Roel Bloo, Fairouz Kamareddine, Twan Laan, Rob Nederpelt. Parameters in Pure Type Systems. In Sergio Rajsbaum, editor, LATIN 2002: Theoretical Informatics, 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings. Volume 2286 of Lecture Notes in Computer Science, pages 371-385, Springer, 2002. [doi]
@inproceedings{BlooKLN02,
title = {Parameters in Pure Type Systems},
author = {Roel Bloo and Fairouz Kamareddine and Twan Laan and Rob Nederpelt},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2286/22860371.htm},
tags = {type system},
researchr = {https://researchr.org/publication/BlooKLN02},
cites = {0},
citedby = {0},
pages = {371-385},
booktitle = {LATIN 2002: Theoretical Informatics, 5th Latin American Symposium, Cancun, Mexico, April 3-6, 2002, Proceedings},
editor = {Sergio Rajsbaum},
volume = {2286},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43400-3},
}