Least fixed points revisited
- 31 December 1976
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 2 (2), 155-181
- https://doi.org/10.1016/0304-3975(76)90031-1
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- On the completeness of the inductive assertion methodJournal of Computer and System Sciences, 1975
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- Fixpoint approach to the theory of computationCommunications of the ACM, 1972
- Implementation and applications of Scott's logic for computable functionsPublished by Association for Computing Machinery (ACM) ,1972
- Another recursion induction principleCommunications of the ACM, 1971
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964