Intersection Types and Denotational Semantics: An Extended Abstract (Invited Paper)

摘要

This is a short survey of the use of intersection types for reasoning in a finitary way about terms interpretations in various models of lambda-calculus.