The following pages link to Combining type disciplines (Q1319505):
Displaying 3 items.
- Higher-order subtyping and its decidability (Q598199) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Completeness of type assignment systems with intersection, union, and type quantifiers (Q5958301) (← links)
