Elgot, Calvin C. Monadic computation and iterative algebraic theories. (English) Zbl 0327.02040 Logic Colloq. ’73, Proc., Bristol 1973, Stud. Logic Found. Math. 80, 175-230 (1975). Reviewer: Calvin C. Elgot Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 10 ReviewsCited in 79 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 Citations:Zbl 0299.00011; Zbl 0175.27902; Zbl 0333.68017; Zbl 0358.68072; Zbl 0348.68008 PDFBibTeX XML