A Realizability Interpretation for Intersection and Union Types.

Daniel J. Dougherty, Ugo de'Liguoro, Luigi Liquori, Claude Stolze

Browse the full APLAS paper archive.