一様性を持つ部分トレース付き圏に関連すること。 クリーネ圏（Kleene圏）におけるスター一様性原理 a;x = x;b ⇒ a*;x = x;b* の良い解釈 クリーネ圏における再帰原理 a;x ≦ y ⇒ a*;x ≦ y の良い解釈 級数 1 + x + x^2 + ... の一般的な（発散するケースも含…

論理記号のいろいろ - 檜山正幸のキマイラ飼育記 (はてなBlog)にもあるけど、転記。