Intersection Types

Intersection Type Disciplines in Lambda Calculus and Applicative Term Rewriting Systems

S.J. van Bakel (PHDTHESIS, 1993)

A filter lambda model and the completeness of assignment

H.P. Barendregt and M. Coppo and M. Dezani-Ciancaglini (ARTICLE, 1983)

An Extension of the Basic Functionality Theory of the -calculus

M. Coppo and M. Dezani-Ciancaglini (ARTICLE, 1980)

Programming with Intersection Types and Bounded Polymorphism

B.C. Pierce (PHDTHESIS, 1991)

Design of the Programming Language Forsythe

J.C. Reynolds (TECHREPORT, 1996)