2005-05-09エントリ「『Kleene代数』のプレッシャー(汗)」で、
Kleene代数に関して、Web上で日本語によるまともな情報がないってことだろうか?
なんて書いたけど、そんなことはないですね。お手軽ではないけど良い情報があります。
木下佳樹さん「不動点をめぐる代数構造たち」(http://unit.aist.go.jp/it/japanese/ps02-005.pdf)なんて、素晴らしい。D. Kozenの"Typed Kleene Algebra"を読んだことはあるのだけど、なんか違和感があった。これでスッキリしました。