Preciseness of Subtyping on Intersection and Union Types
From MaRDI portal
Publication:5170817
DOI10.1007/978-3-319-08918-8_14zbMath1416.68035OpenAlexW166330659MaRDI QIDQ5170817
Mariangiola Dezani-Ciancaglini, Silvia Ghilezan
Publication date: 24 July 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-08918-8_14
Related Items
Precise Subtyping for Asynchronous Multiparty Sessions ⋮ Precise subtyping for synchronous multiparty sessions