Reasoning algebraically about recursion
- 30 June 1992
- journal article
- Published by Elsevier in Science of Computer Programming
- Vol. 18 (3), 271-280
- https://doi.org/10.1016/0167-6423(92)90019-8
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The laws of OCCAM programmingTheoretical Computer Science, 1988
- Laws of programmingCommunications of the ACM, 1987
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955