Preciseness of Subtyping on Intersection and Union Types

Lecture Notes in Computer Science - Rewriting and Typed Lambda Calculi ◽

10.1007/978-3-319-08918-8_14 ◽

2014 ◽

pp. 194-207 ◽

Cited By ~ 4

Author(s):

Mariangiola Dezani-Ciancaglini ◽

Silvia Ghilezan

Download Full-text