The following pages link to (Q4699351):
Displaying 12 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)
- A characterization of F-complete type assignments (Q1089331) (← links)
- Complete restrictions of the intersection type discipline (Q1193654) (← links)
- The completeness of BCD for an operational semantics (Q1709713) (← links)
- Intersection and singleton type assignment characterizing finite Böhm-trees (Q1854555) (← links)
- Intersection-types à la Church (Q2381503) (← links)
- Simple easy terms (Q2842831) (← links)
- The better bubbling lemma (Q2864214) (← links)
- Recognizability in the Simply Typed Lambda-Calculus (Q3638274) (← links)
- (Q5076058) (← links)
- Completeness of intersection and union type assignment systems for call-by-value \(\lambda\)-models (Q5958296) (← links)