×

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