Monadic computation and iterative algebraic theories. (English) Zbl 0327.02040
Logic Colloq. ’73, Proc., Bristol 1973, Stud. Logic Found. Math. 80, 175-230 (1975).
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 |