λとμは親戚か？

• Luigi Santocanale "From Parity Games to Circular Proofs (2002)"→http://citeseer.ist.psu.edu/santocanale02from.html (12P)

にμ項の絵が在るのだが、これがまた、僕がカリー／ハワード対応をでっちあげるために描いたλ項の絵と同じなんだわ。どういうこと？

サントカネイル（Luigi Santocanale ）は他に：

• "μ-Bicomplete Categories and Parity Games"→http://citeseer.ist.psu.edu/566440.html (45P)
• "On the Equational Definition of the Least Prefixed Point (2003)"→ http://citeseer.ist.psu.edu/santocanale03equational.html (33P)

それと、次に出てくる絵もアヤシサたっぷり。

• Raphael Montelatici "Polarized Proof Nets with Cycles and Fixpoints Semantics"→http://www.pps.jussieu.fr/~montela/papers/tlca03.pdf (15P)

アブラムスキーのアレを読んでから、なんでも図式代数（diagram algebras）と幾何単純化（geometric simplification）に見えてしょうがないな。

ケリー／マックレーン・グラフのHughesなんて人もいるぞ。

• Dominic Hughes→http://boole.stanford.edu/~dominic/papers/