The following pages link to (Q4435466):
Displaying 6 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Behavioural inverse limit \(\lambda\)-models (Q1434350) (← links)
- Intersection types and lambda models (Q2369008) (← links)
- Compositional characterisations of \(\lambda\)-terms using intersection types (Q2566033) (← links)
- Intersection Types and Computational Rules (Q4924527) (← links)
- (Q5856410) (← links)