A CUCH-machine: The automatic treatment of bound variables
- 1 June 1972
- journal article
- Published by Springer Nature in International Journal of Parallel Programming
- Vol. 1 (2) , 171-191
- https://doi.org/10.1007/bf00995737
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The correctness of a modified SECD machinePublished by Association for Computing Machinery (ACM) ,1970
- Automatic reduction of cuch expression by means of the value methodCalcolo, 1968
- Correspondence between ALGOL 60 and Church's Lambda-notationCommunications of the ACM, 1965