Preview
Unable to display preview. Download preview PDF.
References
M.A. Arbib and E.G. Manes, Functorial iteration, Notices Amer. Math. Soc. 25, 1978, A-381.
M.A. Arbib and E.G. Manes, Partially-additive categories and the semantics of flow diagrams, J. Algebra 62, 1980, 203–227.
S.L. Bloom (ed.), Calvin C. Elgot, Selected Papers, Springer-Verlag, 1982.
S.L. Bloom, A note on guarded theories, preprint, Dept. of Comp. Sci., Stevens Institute of Technology, Hoboken, NJ 07030, USA, 1988.
E.W. Dijkstra, A Discipline of Programming, Prentice Hall, 1976.
C.C. Elgot, Monadic computation and iterative algebraic theories, in H.E. Rose and J.C. Shepherson (eds.), Proceedings of Logic Colloquium '73, North-Holland, 1975, 175–230.
G. Giertz, K.H. Hofmann, K. Keimel, J.D. Lawson, M. Mislove and D. S. Scott, A Compendium of Continuous lattices, Springer-Verlag, 1980.
I.R. Goodman and H.T. Nguyen, Uncertainty Models for Knowledge-Based Systems, North-Holland, 1985.
H. Kleisli, Every standard construction is induced by a pair of adjoint functors, Proc. Amer. Math. Soc. 16, 1965, 544–546.
D. Kozen, A representation theorem for models of *-free PDL, IBM Research Report RC-7864, Yorktown Heights, New York, USA, 1979.
D. Kozen, A probabilistic PDL, J. Comp. Sys. Sci. 30, 1885, 162–178.
F.W. Lawvere, Functorial Semantics of Algebraic Theories, dissertation, Dept. of Math., Columbia University, New York, USA, 1963.
S. Mac Lane, Categories for the Working Mathematician, Springer-Verlag, 1971.
E.G. Manes, Algebraic Theories, Springer-Verlag, 1976.
E.G. Manes, A class of fuzzy theories, J. Math. Anal. Appl. 85, 1982, 409–451.
E.G. Manes, Additive domains, in A. Melton (ed.), Mathematical Foundations of Programming Semantics, Lecture Notes in Computer Science 239, Springer-Verlag, 1985a, 184–195.
E.G. Manes, Assertional Categories, in M. Main (ed.), Mathematical Foundation of Programming Language Semantics, Lecture Notes in Computer Science 298, Springer-Verlag, 1988, 85–120.
E.G. Manes and M.A. Arbib, Algebraic Approaches to Program Semantics, Springer-Verlag, 1986.
E.G. Manes and D.B. Benson, The inverse semigroup of a sum-ordered semiring, Semigroup Forum 31, 1985, 129–152.
V.R. Pratt, Models of program logics, Proc. 20th IEEE Symp. Found. Comp. Sci. IEEE 79CH1471-2C, 1979, 115–122.
K. Segerburg, A completeness theorem in the modal logic of programs, Notices Amer. Math. Soc. 24, 1977, A-522.
M.E. Steenstrup, Sum-ordered partial semirings, dissertation, Dept. of Comp. Inf. Sci., Univ. of Massachusetts, Amherst, MA 01003, USA, 1985.
J.E. Story, The Scott-Strachey Approach to Programming Language Theory, M. I. T. Press, 1977.
E.G. Wagner, S.L. Bloom and J.W. Thatcher, Why algebraic theories?, in M. Nivat and J.C. Reynolds (eds.), Algebraic Methods in Semantics, Cambridge Univ. Press, 1985, 607–634.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1989 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Manes, E.G. (1989). Monads, matrices and generalized dynamic algebra. In: Ehrig, H., Herrlich, H., Kreowski, H.J., Preuß, G. (eds) Categorical Methods in Computer Science With Aspects from Topology. Lecture Notes in Computer Science, vol 393. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-51722-7_5
Download citation
DOI: https://doi.org/10.1007/3-540-51722-7_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-51722-1
Online ISBN: 978-3-540-46787-8
eBook Packages: Springer Book Archive