Pages that link to "Item:Q1365249"
From MaRDI portal
The following pages link to Comparing cubes of typed and type assignment systems (Q1365249):
Displaying 4 items.
- Bridging Curry and Church's typing style (Q334149) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Typed generic traversal with term rewriting strategies (Q1394988) (← links)
- Intersection-types à la Church (Q2381503) (← links)
