The "Relevance" of Intersection and Union Types
Dezani-Ciancaglini, Mariangiola, Ghilezan, Silvia, Venneri, BettiVolume:
38
Journal:
Notre Dame Journal of Formal Logic
DOI:
10.1305/ndjfl/1039724889
Date:
April, 1997
File:
PDF, 185 KB
1997