Highly Influenced

@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} }

- Published 1976 in 17th Annual Symposium on Foundations of Computer…
DOI:10.1109/SFCS.1976.24

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

### Presentations referencing similar topics