On Isomorphisms of Intersection Types

DOI10.1007/978-3-540-87531-4_33zbMATH Open1156.03314OpenAlexW2133103794MaRDI QIDQ3540197FDOQ3540197

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (9)

• Remarks on isomorphisms in typed lambda calculi with empty and sum types
• Isomorphisms of types in the presence of higher-order references
• A short survey of isomorphisms of types
• Isomorphism of "Functional" Intersection Types
• Title not available (Why is that?)
• On isomorphisms of intersection types
• Curry-style type isomorphisms and game semantics
• Isomorphism of intersection and union types
• Intersection-types à la Church

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)