Pages that link to "Item:Q4403722"
From MaRDI portal
The following pages link to A CUCH-machine: The automatic treatment of bound variables (Q4403722):
Displaying 7 items.
- Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca (Q930863) (← links)
- An efficient interpreter for the lambda-calculus (Q1158139) (← links)
- Parametric parameter passing \(\lambda\)-calculus (Q1887148) (← links)
- (Q4109302) (← links)
- (Q4171548) (← links)
- Notes on ?A CUCH-machine: The automatic treatment of bound variables? (Q4403723) (← links)
- A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. (Q4916176) (← links)