Monadic computation and iterative algebraic theories, Logic colloquium (1973)

by C C ELGOT
Venue:Studies in Logic, no. 80