>>35
実行とは言わないのかな．
逐次実行と書いたのは，構造化プログラミングの論理構造のうち，
「順次」のことだと思ってください．
ttp://ja.wikipedia.org/wiki/%E6%A7%8B%E9%80%A0%E5%8C%96%E3%83%97%E3%83%AD%E3%82%B0%E3%83%A9%E3%83%9F%E3%83%B3%E3%82%B0

>>36
なぜに CPS 変換が関係するんでしょうか?
で，CPS 変換って，λ計算の枠組みの中に含まれてるんでしょうか?

モナドって，圏論由来のモナドですよね?
圏論は，λ計算とはどういう関係になるんでしょうか?