The following pages link to Classical isomorphisms of types (Q3372687):
Displaying 9 items.
- Imperative programs as proofs via game semantics (Q388203) (← links)
- Polarized and focalized linear and classical proofs (Q556824) (← links)
- Second-order type isomorphisms through game semantics (Q2474443) (← links)
- On the unity of duality (Q2482843) (← links)
- Syntax vs. semantics: A polarized approach (Q2570132) (← links)
- On Isomorphisms of Intersection Types (Q3540197) (← links)
- Least and Greatest Fixpoints in Game Semantics (Q3617718) (← links)
- Foundations of dependent interoperability (Q4577812) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)
