A lambda-calculus is defined, which is parametric with respect to a set V of input values and subsumes all the different lambda-calculi given in the literature, in particular the classical one and the call-by-value lambda-calculus of Plotkin. It is proved that it enjoy the confluence property, and a necessary and sufficient condition is given, under which it enjoys the standardization property. Its operational semantics is given through a reduction machine, parametric with respect to both V and a set Vo of output values.

Parametric parameter passing lambda-calculus

PAOLINI, LUCA LUIGI;RONCHI DELLA ROCCA, Simonetta
2004-01-01

Abstract

A lambda-calculus is defined, which is parametric with respect to a set V of input values and subsumes all the different lambda-calculi given in the literature, in particular the classical one and the call-by-value lambda-calculus of Plotkin. It is proved that it enjoy the confluence property, and a necessary and sufficient condition is given, under which it enjoys the standardization property. Its operational semantics is given through a reduction machine, parametric with respect to both V and a set Vo of output values.
2004
189(1)
87
106
http://www.di.unito.it/~paolini/
http://www.di.unito.it/~ronchi/
http://www.sciencedirect.com/science?_ob=ArticleURL&_udi=B6WGK-49XPH90-1&_user=525216&_coverDate=02%2F25%2F2004&_alid=785623034&_rdoc=7&_fmt=high&_orig=search&_cdi=6825&_sort=d&_docanchor=&view=c&_ct=9&_acct=C000026382&_version=1&_urlVersion=0&_userid=525216&md5=d2c8c27230ab5426852d9b9db7111f0c
lambda-Calculus; Confluence; Standardization
LUCA PAOLINI; SIMONA RONCHI DELLA ROCCA
File in questo prodotto:
File Dimensione Formato  
Parametric parameter passing lambda-calculus - IANDC 2004 ori.pdf

Accesso riservato

Tipo di file: PDF EDITORIALE
Dimensione 288.99 kB
Formato Adobe PDF
288.99 kB Adobe PDF   Visualizza/Apri   Richiedi una copia

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/44100
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 15
  • ???jsp.display-item.citation.isi??? 10
social impact