On isomorphisms of intersection types

DOI10.1145/1805950.1805955zbMath1351.03007OpenAlexW1998616409MaRDI QIDQ2946613

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

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

lambda calculusintersection typestype isomorphism

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Related Items (1)

Isomorphism of intersection and union types

This page was built for publication: On isomorphisms of intersection types