Browsing by Author Ariola, Zena
Showing results 1 to 1 of 1
Author(s) | Title | Issue Date | Appears in | Rank |
---|---|---|---|---|
Downen, Paul; Ariola, Zena; Ghilezan, Silvia | The Duality of Classical Intersection and Union Types | 1-Jan-2019 | Fundamenta Informaticae; 170(1-3); 39-92 | M22 |