On isomorphisms of intersection types

DOI10.1145/1805950.1805955MaRDI QIDQ2946613zbMATH OpenOpenAlexFDO

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

Publication date 17 September 2015

Published in ACM Transactions on Computational Logic (Search for Journal in Brave)

Full work available at URL http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1000.8212

zbMATH Keywords

intersection typeslambda calculustype isomorphism

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

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

Cited in

(10)

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