Invariance of interpretation by beta-conversion is one of the minimal requirements for any standard model for the gimel-calculus. With the intersection-type systems being a general framework for the study of semantic domains for the gimel-calculus, the present paper provides a (syntactic) characterisation of the above mentioned requirement in terms of characterisation results for intersection-type assignment systems. Instead of considering conversion as a whole, reduction and expansion will be considered separately. Not only for usual computational rules like beta, eta, but also for a number of relevant restrictions of those. Characterisations will be also provided for (intersection) filter structures that are indeed gimel-models. (c) 2006 Elsevier B.V. All rights reserved.

Intersection types and lambda models

ALESSI, Fabio;
2006

Abstract

Invariance of interpretation by beta-conversion is one of the minimal requirements for any standard model for the gimel-calculus. With the intersection-type systems being a general framework for the study of semantic domains for the gimel-calculus, the present paper provides a (syntactic) characterisation of the above mentioned requirement in terms of characterisation results for intersection-type assignment systems. Instead of considering conversion as a whole, reduction and expansion will be considered separately. Not only for usual computational rules like beta, eta, but also for a number of relevant restrictions of those. Characterisations will be also provided for (intersection) filter structures that are indeed gimel-models. (c) 2006 Elsevier B.V. All rights reserved.
File in questo prodotto:
File Dimensione Formato  
intersectionfranco.pdf

non disponibili

Tipologia: Altro materiale allegato
Licenza: Non pubblico
Dimensione 351.52 kB
Formato Adobe PDF
351.52 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: http://hdl.handle.net/11390/857622
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 16
  • ???jsp.display-item.citation.isi??? 9
social impact