Intersection and Union Types: Syntax and Semantics (1995)

by F Barbanera, M Dezani-Ciancaglini, U de’Liguoro
Venue:Information and Computation