## Intersection Types and Lambda Models (2005)

by
Fabio Alessi
,
Franco Barbanera

Citations: | 11 - 1 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.