[TYPES] Semantics of Intersection Type

[Simona Ronchi Della Rocca]

>
> Interestingly, combining these two viewpoints on types is most  
> fruitful,
> in establishing for instance full abstraction results, like the
> classical one by Wadsworth regarding Scott's interpretation of the  
> pure
> lambda-calculus. A nice presentation of this is in Ronchi's lectures
> notes on "Basic Lambda Calculus" (1998? I don't know whether these  
> notes
> have been published).
>

The book "The Parametric Lambda Calculus", by Luca Paolini and myself
(texts in Theoretical Computer Science, Springer 2004) is partially  
based on these
notes.
A chapter in the book is dedicated to the interpretation of  
intersection types
as compact elements of Scott's models, and moreover some construction
of filter models is shown.

Best regards
Simona Ronchi