Elgot, Calvin C. Monadic computation and iterative algebraic theories. (English) Zbl 0327.02040 Logic Colloq. ’73, Proc., Bristol 1973, 175-230 (1975). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 10 ReviewsCited in 64 Documents MSC: 03D99 Computability and recursion theory 03D10 Turing machines and related notions 68N01 General topics in the theory of software 18A15 Foundations, relations to logic and deductive systems PDF BibTeX XML OpenURL