On Isomorphisms of Intersection Types

DOI10.1007/978-3-540-87531-4_33zbMath1156.03314OpenAlexW2133103794MaRDI QIDQ3540197

Roberto Di Cosmo, Makoto Tatsuta, Mariangiola Dezani-Ciancaglini, Elio Giovannetti

Publication date: 20 November 2008

Published in: Computer Science Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-87531-4_33

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Combinatory logic and lambda calculus (03B40)

Cites Work

• Unnamed Item
• A typed lambda calculus with intersection types
• Principal type scheme and unification for intersection type discipline
• An extension of basic functionality theory for \(\lambda\)-calculus
• Complete restrictions of the intersection type discipline
• Characterization of normal forms possessing inverse in the \(\lambda\)- \(\beta\)-\(\eta\)-calculus
• Second order isomorphic types: A proof theoretic study on second order \(\lambda\)-calculus with surjective pairing and terminal object
• Intersection-types à la Church
• Remarks on isomorphisms in typed lambda calculi with empty and sum types
• A filter lambda model and the completeness of type assignment
• A short survey of isomorphisms of types
• Classical isomorphisms of types
• Provable isomorphisms of types

This page was built for publication: On Isomorphisms of Intersection Types