いろいろなラムダ
http://d.hatena.ne.jp/m-hiyama-memo/20150318/1426651739
Cオペレーターを入れたラムダ計算をλC と書くことがある。
λCはモッジ(Moggi)のcomputationalラムダ計算のことでもあるな。λμがパリゴ(Parigot)、λμνというのもある。セリンガーの論文に出ていた。ピエル=ルイ・キュリア(Pierre-Louis Curien)とユーゴ・エルブラン(Hugo Herbelin)の計算は、 calculus、対称性を意識しているらしい。ストリーム計算としてはΛμ計算がある。