Elgot’s Analysis of Monadic Computation
Keyword(s):
A review is given of some of the late C.C. Elgot’s ideas on the syntax and semantics of monadic flowchart algorithms. In particular, the motivation for his “iterative algebraic theories” is explained.
2011 ◽
Vol 21
(5)
◽
pp. 1035-1066
◽
Keyword(s):
1927 ◽
Vol 46
◽
pp. 210-222
◽
Keyword(s):
Keyword(s):
1981 ◽
pp. 390-413
◽
1978 ◽
pp. 141-242
◽
Keyword(s):
1999 ◽
Vol 66
(2)
◽
pp. 255-286
◽