Pages that link to "Item:Q2946613"
From MaRDI portal
The following pages link to On isomorphisms of intersection types (Q2946613):
Displaying 8 items.
- Intersection-types à la Church (Q2381503) (← links)
- Remarks on isomorphisms in typed lambda calculi with empty and sum types (Q2498898) (← links)
- Isomorphisms of types in the presence of higher-order references (Q2904625) (← links)
- Isomorphism of "Functional" Intersection Types (Q2968414) (← links)
- A short survey of isomorphisms of types (Q3372683) (← links)
- On Isomorphisms of Intersection Types (Q3540197) (← links)
- (Q4708431) (← links)
- Isomorphism of intersection and union types (Q5268999) (← links)