The equational logic of fixed points
- 1 June 1997
- journal article
- review article
- Published by Elsevier in Theoretical Computer Science
- Vol. 179 (1-2) , 1-60
- https://doi.org/10.1016/s0304-3975(96)00248-4
Abstract
No abstract availableThis publication has 124 references indexed in Scilit:
- Notes on equational theories of relationsAlgebra universalis, 1995
- Representations of distributive lattice-ordered semigroups with binary relationsAlgebra universalis, 1991
- Solving reflexive domain equations in a category of complete metric spacesJournal of Computer and System Sciences, 1989
- Independence of the equational axioms for iteration theoriesJournal of Computer and System Sciences, 1988
- On flowchart theories Part I. The deterministic caseJournal of Computer and System Sciences, 1987
- Axiomatizing schemes and their behaviorsJournal of Computer and System Sciences, 1985
- Least fixed point of a functorJournal of Computer and System Sciences, 1979
- Scalar and vector iterationJournal of Computer and System Sciences, 1977
- A fixpoint theorem for complete categoriesMathematische Zeitschrift, 1968
- A lattice-theoretical fixpoint theorem and its applicationsPacific Journal of Mathematics, 1955