Pages that link to "Item:Q2851086"
From MaRDI portal
The following pages link to Towards an intersection typed system à la Church (Q2851086):
Displaying 10 items.
- Bridging Curry and Church's typing style (Q334149) (← links)
- Existential type systems between Church and Curry style (type-free style) (Q402117) (← links)
- A Church-style intermediate language for ML\(^{\text F}\) (Q428892) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- A typed lambda calculus with intersection types (Q930870) (← links)
- Intersection-types à la Church (Q2381503) (← links)
- Intersection typed \(\lambda \)-calculus (Q2842843) (← links)
- A classification of intersection type systems (Q4532620) (← links)
- (Q5089030) (← links)
- Recent Advances in Constraints (Q5899112) (← links)