Pages that link to "Item:Q3372683"
From MaRDI portal
The following pages link to A short survey of isomorphisms of types (Q3372683):
Displaying 18 items.
- Linear logical relations and observational equivalences for session-based concurrency (Q476190) (← links)
- Structures definable in polymorphism (Q1273075) (← links)
- Functional pearl: the distributive \(\lambda\)-calculus (Q2039932) (← links)
- A note on intensionalization (Q2255214) (← links)
- Automorphisms of types and their applications (Q2307975) (← links)
- Second-order type isomorphisms through game semantics (Q2474443) (← links)
- Isomorphisms of types in the presence of higher-order references (Q2904625) (← links)
- On isomorphisms of intersection types (Q2946613) (← links)
- (Q3518593) (← links)
- On Isomorphisms of Intersection Types (Q3540197) (← links)
- Provable isomorphisms of types (Q4017461) (← links)
- (Q4282541) (← links)
- (Q4325974) (← links)
- Foundations of dependent interoperability (Q4577812) (← links)
- (Q5089014) (← links)
- Isomorphism of intersection and union types (Q5268999) (← links)
- Extensional proofs in a propositional logic modulo isomorphisms (Q6052705) (← links)
- A note on synonymy in proof-theoretic semantics (Q6612874) (← links)