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