Pages that link to "Item:Q4291035"
From MaRDI portal
The following pages link to Intersection Types as Logical Formulae (Q4291035):
Displayed 13 items.
- A typed lambda calculus with intersection types (Q930870) (← links)
- The ``relevance'' of intersection and union types (Q1381437) (← links)
- A binary modal logic for the intersection types of lambda-calculus. (Q1427854) (← links)
- The semantics of entailment omega (Q1430899) (← links)
- The Relevance of Semantic Subtyping (Q2842838) (← links)
- Intersection Typed λ-calculus (Q2842843) (← links)
- Finite Combinatory Logic with Intersection Types (Q3007665) (← links)
- Inhabitation of Low-Rank Intersection Types (Q3637206) (← links)
- A classification of intersection type systems (Q4532620) (← links)
- Hyperformulae, Parallel Deductions and Intersection Types (Q4916178) (← links)
- The emptiness problem for intersection types (Q4934035) (← links)
- (Q5076061) (← links)
- (Q5089030) (← links)