Pages that link to "Item:Q2904625"
From MaRDI portal
The following pages link to Isomorphisms of types in the presence of higher-order references (Q2904625):
Displaying 6 items.
- Second-order type isomorphisms through game semantics (Q2474443) (← links)
- Isomorphism of "Functional" Intersection Types (Q2968414) (← links)
- Automorphisms of types in certain type theories and representation of finite groups (Q3119463) (← links)
- (Q4325974) (← links)
- Foundations of dependent interoperability (Q4577812) (← links)
- Deconstructing general references via game semantics (Q6612784) (← links)