Pages that link to "Item:Q1199823"
From MaRDI portal
The following pages link to Intersection types for combinatory logic (Q1199823):
Displaying 21 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Types with intersection: An introduction (Q1201298) (← links)
- Principal types of BCK-lambda-terms (Q1208417) (← links)
- Proof-functional connectives and realizability (Q1330311) (← links)
- Lambda terms definable as combinators (Q1349878) (← links)
- Normalization results for typeable rewrite systems (Q1357006) (← links)
- The ``relevance'' of intersection and union types (Q1381437) (← links)
- The semantics of entailment omega (Q1430899) (← links)
- How to think of intersection types as Cartesian products (Q1744395) (← links)
- Normalization, approximation, and semantics for combinator systems (Q1853619) (← links)
- Towards probabilistic reasoning in type theory -- the intersection type case (Q2206780) (← links)
- Combinatory logic and the semantics of substructural logics (Q2642518) (← links)
- Finite Combinatory Logic with Intersection Types (Q3007665) (← links)
- (Q3024843) (← links)
- (Q3475243) (← links)
- (Q3714050) (← links)
- Intersection Types as Logical Formulae (Q4291035) (← links)
- Approximation and normalization results for typeable term rewriting systems (Q4645802) (← links)
- Intersection types for lambda-terms and combinators and their logics (Q4779581) (← links)
- (Q4783322) (← links)
- (Q5076058) (← links)