Parameters in pure type systems

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

2 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelLATIN 2002: theoretical informatics proceedings 5th Latin American symposium, Cancun, Mexico, April 3-6, 2002
RedacteurenS. Rajsbaum
Plaats van productieBerlin
UitgeverijSpringer
Pagina's371-385
ISBN van geprinte versie3-540-43400-3
DOI's
StatusGepubliceerd - 2002
Evenementconference; Cancun, Mexico; 2002-04-03; 2002-04-06 -
Duur: 3 apr 20026 apr 2002

Publicatie series

NaamLecture Notes in Computer Science
Volume2286
ISSN van geprinte versie0302-9743

Congres

Congresconference; Cancun, Mexico; 2002-04-03; 2002-04-06
Periode3/04/026/04/02
AnderCancun, Mexico

Vingerafdruk Duik in de onderzoeksthema's van 'Parameters in pure type systems'. Samen vormen ze een unieke vingerafdruk.

  • Citeer dit

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