Classical isomorphisms of types

DOI10.1017/S0960129505004895zbMATH Open1084.68025OpenAlexW2059775725MaRDI QIDQ3372687FDOQ3372687

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

Recommendations

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

Mathematics Subject Classification ID

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

Cited In (16)

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

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)