Pages that link to "Item:Q1887145"
From MaRDI portal
The following pages link to Intersection types for explicit substitutions (Q1887145):
Displaying 9 items.
- Resource operators for \(\lambda\)-calculus (Q876041) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Nominal essential intersection types (Q1643145) (← links)
- Non-idempotent intersection types and strong normalisation (Q2851671) (← links)
- Characterising Strongly Normalising Intuitionistic Sequent Terms (Q3499751) (← links)
- Principal Typings for Explicit Substitutions Calculi (Q3507473) (← links)
- Computation with classical sequents (Q3520146) (← links)
- A resource aware semantics for a focused intuitionistic calculus (Q4559602) (← links)
- Intersection Type Systems and Explicit Substitutions Calculi (Q4931603) (← links)