Monadic computation and iterative algebraic theories, in Proc. of Logic Colloquium '73 (1973)

by C C Elgot
Venue:Shepherdson, Studies in Logic and the Foundations of Mathematics 80. North-Holland, Amsterdam (1975) 175--230. 22 TITLE WILL BE SET BY THE PUBLISHER