@InProceedings{l02-p371-385, AUTHOR = {Roel Bloo and Fairouz Kamareddine and Twan Laan and Rob Nederpelt}, TITLE = {Parameters in Pure Type Systems}, YEAR = 2002, BOOKTITLE = {Proc.~of the 5th Latin American Symposium on Theoretical Informatics (LATIN'02)}, ADDRESS = {Cancun, Mexico}, PAGES = {371--385}, KEYWORDS = {}}