2011-05-27 型の代数の公理化 Caty 型検査 プログラム意味論 その他代数 コゥゼンのtermset algebraの公理を参考にして、型の代数を公理化しないとダメだと思うな。今のように実例ドリブンでは計算の根拠がハッキリしない。