Varieties of ordered algebras. (English) Zbl 0337.06008


06F25 Ordered rings, algebras, modules
08B99 Varieties
03D99 Computability and recursion theory
Full Text: DOI


[1] Elgot, C.C., Monadic computation and iterative algebric theories, (), 175-230
[2] Goguen, J.A.; Thatcher, J.W.; Wagner, E.G.; Wright, J.B., Initial algebra semantics and continuous algebras, IBM research report RC 5701, (1975), To appear in J. Assoc. Comput. Mach · Zbl 0306.18005
[3] Gratzer, G., ()
[4] Lawvere, F.W., Functional semantics of algebraic theories, Proc. nat. acad. sci. U.S.A., 50, No. 5, 869-872, (1963) · Zbl 0119.25901
[5] Scott, D., The lattice of flow diagrams, (), 311-366
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. It attempts to reflect the references listed in the original paper as accurately as possible without claiming the completeness or perfect precision of the matching.