@inproceedings{0638534a1d8f4072880acd74e209721f,
title = "Parameters in pure type systems",
abstract = "In this paper we study the addition of parameters to typed ¿-calculus with definitions. We show that the resulting systems have nice properties and illustrate that parameters allow for a better fine-tuning of the strength of type systems as well as staying closer to type systems used in practice in theorem provers and programming languages.",
author = "C.J. Bloo and F. Kamareddine and T.D.L. Laan and R.P. Nederpelt",
year = "2002",
doi = "10.1007/3-540-45995-2_34",
language = "English",
isbn = "3-540-43400-3",
series = "Lecture Notes in Computer Science",
publisher = "Springer",
pages = "371--385",
editor = "S. Rajsbaum",
booktitle = "LATIN 2002: theoretical informatics proceedings 5th Latin American symposium, Cancun, Mexico, April 3-6, 2002",
address = "Germany",
note = "conference; Cancun, Mexico; 2002-04-03; 2002-04-06 ; Conference date: 03-04-2002 Through 06-04-2002",
}