Another recursion induction principle
Author:
Open Access
- 1 May 1971
- journal article
- Published by Association for Computing Machinery (ACM) in Communications of the ACM
- Vol. 14 (5) , 351-354
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 2 references indexed in Scilit:
- Formalization of properties of recursively defined functions1969
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964