Preview
Unable to display preview. Download preview PDF.
References
S.L. Bloom, C.C. Elgot: The existence and construction of free iterative theories. Report RC 4937, IBM Watson Research Center, New York (1974).
F.W. Lawvere: Functorial semantics of theories. Proc. Nat. Acad. Sci., Vol. 50, No. 5, 869–872, (1963).
C.C. Elgot: Monadic computation and iterative algebraic theories. Logic Colloquium '73, H.E. Rose, J.C. Shepherdson ed., North Holland 175–230, (1975).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1976 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tiuryn, J. (1976). On the domain of iteration in iterative algebraic theories. In: Mazurkiewicz, A. (eds) Mathematical Foundations of Computer Science 1976. MFCS 1976. Lecture Notes in Computer Science, vol 45. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-07854-1_227
Download citation
DOI: https://doi.org/10.1007/3-540-07854-1_227
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-07854-8
Online ISBN: 978-3-540-38169-3
eBook Packages: Springer Book Archive