On Isomorphisms of Intersection Types

DOI10.1007/978-3-540-87531-4_33MaRDI QIDQ3540197zbMATH OpenOpenAlexFDO

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

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

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

Recommendations

• On isomorphisms of intersection types
• Toward isomorphism of intersection and union types
• Isomorphism of "Functional" Intersection Types
• Isomorphism of intersection and union types
• Intersection types from a proof-theoretic perspective
• On type inference in the intersection type discipline
• scientific article; zbMATH DE number 1929308
• A short survey of isomorphisms of types
• scientific article; zbMATH DE number 512791
• Intersection types and bounded polymorphism

Cites work

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

Cited in

(10)

• Intersection-types à la Church
• Curry-style type isomorphisms and game semantics
• Isomorphisms of types in the presence of higher-order references
• A short survey of isomorphisms of types
• Remarks on isomorphisms in typed lambda calculi with empty and sum types
• Isomorphism of "Functional" Intersection Types
• scientific article; zbMATH DE number 1929308 (Why is no real title available?)
• Toward isomorphism of intersection and union types
• On isomorphisms of intersection types
• Isomorphism of intersection and union types

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3540197)