Least fixed points revisited

This publication has 8 references indexed in Scilit:

• Recursion and Parameter Mechanisms: An Axiomatic Approach
  Published by Springer Nature ,1974
• Inductive methods for proving properties of programs
  Communications of the ACM, 1973
• Tree-Manipulating Systems and Church-Rosser Theorems
  Journal of the ACM, 1973
• Fixpoint approach to the theory of computation
  Communications of the ACM, 1972
• Implementation and applications of Scott's logic for computable functions
  Published by Association for Computing Machinery (ACM) ,1972
• Another recursion induction principle
  Communications of the ACM, 1971
• The Mechanical Evaluation of Expressions
  The Computer Journal, 1964
• A Basis for a Mathematical Theory of Computation)
  Published by Elsevier ,1963