Monadic Computation and iterative algebraic theories (1975)

by C C Elgot
Venue:Proc. Logic Colloquium’73