A tale of intersection types

DOI10.1145/3373718.3394733zbMath1498.03040OpenAlexW3030375490MaRDI QIDQ5145614

Viviana Bono, Mariangiola Dezani-Ciancaglini

Publication date: 21 January 2021

Published in: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2318/1758049

zbMATH Keywords

semanticslambda calculusintersection types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Combinatory logic and lambda calculus (03B40)

Related Items (3)

Non-Deterministic Functions as Non-Deterministic Processes (Extended Version) ⋮ From semantics to types: the case of the imperative \(\lambda\)-calculus ⋮ Structural rules and algebraic properties of intersection types

This page was built for publication: A tale of intersection types