A short survey of isomorphisms of types

DOI10.1017/S0960129505004871zbMath1092.03006OpenAlexW2153405166MaRDI QIDQ3372683

Roberto Di Cosmo

Publication date: 10 March 2006

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s0960129505004871

zbMATH Keywords

surveylambda calculusequational theoriesisomorphisms of types

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Research exposition (monographs, survey articles) pertaining to mathematical logic and foundations (03-02) Logic in computer science (03B70) Categorical logic, topoi (03G30) Combinatory logic and lambda calculus (03B40)

Related Items (11)

Foundations of dependent interoperability ⋮ Extensional proofs in a propositional logic modulo isomorphisms ⋮ Calculating datastructures ⋮ On Isomorphisms of Intersection Types ⋮ Linear logical relations and observational equivalences for session-based concurrency ⋮ Second-order type isomorphisms through game semantics ⋮ A note on intensionalization ⋮ Unnamed Item ⋮ Functional pearl: the distributive \(\lambda\)-calculus ⋮ Structures definable in polymorphism ⋮ Isomorphism of intersection and union types

This page was built for publication: A short survey of isomorphisms of types