Unique fixed points vs. least fixed points
- 1 November 1980
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 12 (3) , 229-254
- https://doi.org/10.1016/0304-3975(80)90056-0
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- On the algebraic structure of rooted treesJournal of Computer and System Sciences, 1978
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963