Another recursion induction principle
- 1 May 1971
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 14 (5), 351-354
- https://doi.org/10.1145/362588.362598
Abstract
Sively defined functions is described. It is shown to be useful for proving partial functions equivalent and thus applicable in proofs about interpreters for programming languages.Keywords
This publication has 3 references indexed in Scilit:
- Formalization of properties of recursively defined functionsPublished by Association for Computing Machinery (ACM) ,1969
- Assigning meanings to programsPublished by American Mathematical Society (AMS) ,1967
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964