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 94 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