BibTeX
@MISC{Alessi05intersectiontypes,
author = {Fabio Alessi and Franco Barbanera},
title = {Intersection Types and Lambda Models},
year = {2005}
}
Bookmark
 |
 |
 |
 |
 |
 |
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.
