Pages that link to "Item:Q4291035"

The following pages link to Intersection Types as Logical Formulae (Q4291035):

Displaying 17 items.

• A typed lambda calculus with intersection types (Q930870) (← links)
• Intersection types for combinatory logic (Q1199823) (← 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 \(\lambda \)-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)
• Intersection types for lambda-terms and combinators and their logics (Q4779581) (← links)
• (Q4783322) (← links)
• Hyperformulae, Parallel Deductions and Intersection Types (Q4916178) (← links)
• The emptiness problem for intersection types (Q4934035) (← links)
• Kripke Semantics for Intersection Formulas (Q5034223) (← links)
• (Q5076061) (← links)
• (Q5089030) (← links)