Browsing by Author Ariola, Zena

Showing results 1 to 1 of 1
Author(s)TitleIssue DateAppears inRank
Downen, Paul; Ariola, Zena; Ghilezan, Silvia The Duality of Classical Intersection and Union Types1-Jan-2019Fundamenta Informaticae; 170(1-3); 39-92M22