Pages that link to "Item:Q1887145"
From MaRDI portal
The following pages link to Intersection types for explicit substitutions (Q1887145):
Displaying 6 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)
- Characterising Strongly Normalising Intuitionistic Sequent Terms (Q3499751) (← links)
- Computation with classical sequents (Q3520146) (← links)
- A resource aware semantics for a focused intuitionistic calculus (Q4559602) (← links)
