Pages that link to "Item:Q4916178"
From MaRDI portal
The following pages link to Hyperformulae, Parallel Deductions and Intersection Types (Q4916178):
Displaying 10 items.
- A typed lambda calculus with intersection types (Q930870) (← links)
- Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage (Q930871) (← links)
- Intersection-types à la Church (Q2381503) (← links)
- Recognizability, hypergraph operations, and logical types (Q2496296) (← links)
- The relevance of semantic subtyping (Q2842838) (← links)
- Intersection typed \(\lambda \)-calculus (Q2842843) (← links)
- A Realizability Interpretation for Intersection and Union Types (Q3179292) (← links)
- (Q5076058) (← links)
- (Q5089030) (← links)
- (Q5090978) (← links)