Graph representation and computation rules for typeless recursive languages
- 1 January 1974
- book chapter
- Published by Springer Nature
- p. 157-169
- https://doi.org/10.1007/3-540-06841-4_58
Abstract
No abstract availableThis publication has 4 references indexed in Scilit:
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- Correct and optimal implementations of recursion in a simple programming languagePublished by Association for Computing Machinery (ACM) ,1973
- Recursive definitions of partial functions and their computationsPublished by Association for Computing Machinery (ACM) ,1972