Pages that link to "Item:Q1887148"
From MaRDI portal
The following pages link to Parametric parameter passing \(\lambda\)-calculus (Q1887148):
Displayed 4 items.
- Strong normalization from an unusual point of view (Q534700) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- The weak lambda calculus as a reasonable machine (Q930866) (← links)
- Parametric \(\lambda \)-theories (Q930867) (← links)