Isomorphism of "Functional" Intersection Types

DOI10.4230/LIPICS.TYPES.2013.129MaRDI QIDQ2968414zbMATH OpenOpenAlexFDO

Authors Mario Coppo, Mariangiola Dezani-Ciancaglini, Ines Margaria, Maddalena Zacchi

Publication date 13 March 2017

Full work available at URL http://dblp.uni-trier.de/db/conf/types/types2013.html#CoppoDMZ13

zbMATH Keywords

intersection typeslambda calculustype isomorphism

Mathematics Subject Classification ID

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

Recommendations

• On isomorphisms of intersection types
• On Isomorphisms of Intersection Types
• Toward isomorphism of intersection and union types
• Isomorphism of intersection and union types
• Intersection types from a proof-theoretic perspective
• Intersection typed -calculus
• Intersection types for the -calculus
• Recursive properties of isomorphism types
• scientific article; zbMATH DE number 3869317
• Isomorphisms of types in the presence of higher-order references

Cited in

(5)

• On isomorphisms of intersection types
• On Isomorphisms of Intersection Types
• Toward isomorphism of intersection and union types
• Isomorphism of intersection and union types
• Contextual isomorphisms

This page was built for publication: Isomorphism of "Functional" Intersection Types

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