Notes on ?A CUCH-machine: The automatic treatment of bound variables?
From MaRDI portal
Publication:4403723
DOI10.1007/BF00976061zbMath0277.68027OpenAlexW2071387491MaRDI QIDQ4403723
Corrado Böhm, Mariangiola Dezani-Ciancaglini
Publication date: 1973
Published in: International Journal of Computer & Information Sciences (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf00976061
Related Items
Unnamed Item ⋮ 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.
Cites Work
This page was built for publication: Notes on ?A CUCH-machine: The automatic treatment of bound variables?