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

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

Recommendations

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

Cited in

(18)

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

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)