Classical isomorphisms of types

DOI10.1017/S0960129505004895MaRDI QIDQ3372687zbMATH OpenOpenAlexFDO

Authors Olivier Laurent

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

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Logic in computer science (03B70)

Recommendations

• scientific article; zbMATH DE number 1231529
• Publication:4945229
• Second-order type isomorphisms through game semantics
• Contextual isomorphisms
• Provable isomorphisms of types

Cited in

(16)

• Isomorphism between two-type ordinals and well-ordered two-type class structures
• Curry-style type isomorphisms and game semantics
• Second-order type isomorphisms through game semantics
• Polarized and focalized linear and classical proofs
• A short survey of isomorphisms of types
• Foundations of dependent interoperability
• On the unity of duality
• Syntax vs. semantics: A polarized approach
• Imperative programs as proofs via game semantics
• Isomorphic formulae in classical propositional logic
• Contextual isomorphisms
• Extensional proofs in a propositional logic modulo isomorphisms
• Computational isomorphisms in classical logic
• On Isomorphisms of Intersection Types
• Least and Greatest Fixpoints in Game Semantics
• scientific article; zbMATH DE number 1424039 (Why is no real title available?)

This page was built for publication: Classical isomorphisms of types

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