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)

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.
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
PublisherSpringer
Pages371-385
ISBN (Print)3-540-43400-3
DOIs
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
Volume2286
ISSN (Print)0302-9743

Conference

Conferenceconference; Cancun, Mexico; 2002-04-03; 2002-04-06
Period3/04/026/04/02
OtherCancun, Mexico

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

  • Cite this

    Bloo, C. J., Kamareddine, F., Laan, T. D. L., & Nederpelt, R. P. (2002). Parameters in pure type systems. In S. Rajsbaum (Ed.), LATIN 2002: theoretical informatics proceedings 5th Latin American symposium, Cancun, Mexico, April 3-6, 2002 (pp. 371-385). (Lecture Notes in Computer Science; Vol. 2286). Berlin: Springer. https://doi.org/10.1007/3-540-45995-2_34