A CUCH-machine: The automatic treatment of bound variables
From MaRDI portal
Publication:4403722
DOI10.1007/BF00995737zbMath0277.68026MaRDI QIDQ4403722
Corrado Böhm, Mariangiola Dezani-Ciancaglini
Publication date: 1972
Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)
Related Items
Unnamed Item ⋮ Parametric parameter passing \(\lambda\)-calculus ⋮ Unnamed Item ⋮ An efficient interpreter for the lambda-calculus ⋮ Calculi, types and applications: essays in honour of M. Coppo, M. Dezani-Ciancaglini and S. Ronchi della Rocca ⋮ A CuCh Interpretation of an Object-Oriented Language1 1Partially supported by MURST Cofin '99 TOSCA. ⋮ Notes on ?A CUCH-machine: The automatic treatment of bound variables?
Uses Software
Cites Work