On the domain of iteration in iterative algebraic theories

  • J. Tiuryn
Part of the Lecture Notes in Computer Science book series (LNCS, volume 45)


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    S.L. Bloom, C.C. Elgot: The existence and construction of free iterative theories. Report RC 4937, IBM Watson Research Center, New York (1974).Google Scholar
  2. 2.
    F.W. Lawvere: Functorial semantics of theories. Proc. Nat. Acad. Sci., Vol. 50, No. 5, 869–872, (1963).Google Scholar
  3. 3.
    C.C. Elgot: Monadic computation and iterative algebraic theories. Logic Colloquium '73, H.E. Rose, J.C. Shepherdson ed., North Holland 175–230, (1975).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1976

Authors and Affiliations

  • J. Tiuryn
    • 1
  1. 1.Institute of MathematicsWarsaw UniversityWarszawa PKiN IXpPoland

Personalised recommendations