Parameters in pure type systems

C.J. Bloo, F. Kamareddine, T.D.L. Laan, R.P. Nederpelt

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

2 Citations (Scopus)


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.
Original languageEnglish
Title of host publicationLATIN 2002: theoretical informatics proceedings 5th Latin American symposium, Cancun, Mexico, April 3-6, 2002
EditorsS. Rajsbaum
Place of PublicationBerlin
ISBN (Print)3-540-43400-3
Publication statusPublished - 2002
Eventconference; Cancun, Mexico; 2002-04-03; 2002-04-06 -
Duration: 3 Apr 20026 Apr 2002

Publication series

NameLecture Notes in Computer Science
ISSN (Print)0302-9743


Conferenceconference; Cancun, Mexico; 2002-04-03; 2002-04-06
OtherCancun, Mexico

Fingerprint Dive into the research topics of 'Parameters in pure type systems'. Together they form a unique fingerprint.

Cite this