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]
Abstract is missing.