Pages that link to "Item:Q4916178"
From MaRDI portal
The following pages link to Hyperformulae, Parallel Deductions and Intersection Types (Q4916178):
Displayed 5 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)
- The Relevance of Semantic Subtyping (Q2842838) (← links)
- Intersection Typed λ-calculus (Q2842843) (← links)