Pages that link to "Item:Q1257009"
From MaRDI portal
The following pages link to A discrimination algorithm inside \(\lambda -\beta\)-calculus (Q1257009):
Displaying 4 items.
- About systems of equations, X-separability, and left-invertibility in the \(\lambda\)-calculus (Q752684) (← links)
- The discrimination theorem holds for combinatory weak reduction (Q755570) (← links)
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- Parametric \(\lambda \)-theories (Q930867) (← links)
