The following pages link to (Q3674034):
Displayed 4 items.
- Computability in higher types, P\(\omega\) and the completeness of type assignment (Q579245) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- A characterization of F-complete type assignments (Q1089331) (← links)
- Constructing type systems over an operational semantics (Q1199709) (← links)