Intersection Types and Lambda Models (2005)
by
Fabio Alessi
,
Franco Barbanera
| Citations: | 8 - 0 self |
BibTeX
@MISC{Alessi05intersectiontypes,
author = {Fabio Alessi and Franco Barbanera},
title = {Intersection Types and Lambda Models},
year = {2005}
}
OpenURL
Abstract
Invariance of interpretation by #-conversion is one of the minimal requirements for any standard model for the #-calculus. With the intersection type systems being a general framework for the study of semantic domains for the #-calculus, the present paper provides a (syntactic) characterisation of the above mentioned requirement in terms of characterisation results for intersection type assignment systems.







