Rational algebraic theories and fixed-point solutions

@article{Wright1976RationalAT,
  title={Rational algebraic theories and fixed-point solutions},
  author={Jesse B. Wright and James W. Thatcher and Eric G. Wagner and Joseph A. Goguen},
  journal={17th Annual Symposium on Foundations of Computer Science (sfcs 1976)},
  year={1976},
  pages={147-158}
}
In a wide variety of situations, computer science has found it convenient to define complex object as (fixed-point) solutions of certain equations. This has been done in both algebraic and order-theoretic settings, and has often been contrasted with other approaches. This paper shows how to formulate such solutions in a setting which encompasses both… CONTINUE READING