The following pages link to Provable isomorphisms of types (Q4017461):
Displayed 10 items.
- Proof-functional connectives and realizability (Q1330311) (← links)
- A coinductive completeness proof for the equivalence of recursive types (Q1607224) (← links)
- Efficient and flexible matching of recursive types (Q1854490) (← links)
- Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
- On Isomorphisms of Intersection Types (Q3540197) (← links)
- Cartesian isomorphisms are symmetric monoidal: A justification of linear logic (Q4254631) (← links)
- Retrieving library functions by unifying types modulo linear isomorphism (Q4304554) (← links)
- On the unification problem for Cartesian closed categories (Q4358059) (← links)
- A confluent reduction for the λ-calculus with surjective pairing and terminal object (Q4895554) (← links)
- Remarks on Isomorphisms of Simple Inductive Types (Q4924549) (← links)