Logic and Computation in a Lambda Calculus with Intersection and Union Types.

Daniel J. Dougherty, Luigi Liquori

Browse the full LPAR paper archive.