The following pages link to (Q4699351):
Displayed 5 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- On the membership problem for non-linear abstract categorial grammars (Q972435) (← links)
- Intersection-types à la Church (Q2381503) (← links)
- Recognizability in the Simply Typed Lambda-Calculus (Q3638274) (← links)
- Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models (Q5958296) (← links)