Classical isomorphisms of types
From MaRDI portal
Publication:3372687
DOI10.1017/S0960129505004895zbMath1084.68025OpenAlexW2059775725MaRDI QIDQ3372687
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/s0960129505004895
Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (9)
Foundations of dependent interoperability ⋮ Imperative programs as proofs via game semantics ⋮ Extensional proofs in a propositional logic modulo isomorphisms ⋮ On Isomorphisms of Intersection Types ⋮ Second-order type isomorphisms through game semantics ⋮ On the unity of duality ⋮ Polarized and focalized linear and classical proofs ⋮ Least and Greatest Fixpoints in Game Semantics ⋮ Syntax vs. semantics: A polarized approach
This page was built for publication: Classical isomorphisms of types
