コゥゼン流

デクスター・コゥゼン（Dexter Kozen）は、なんか独特の（あるいはクセのある）手法を使う。それで論文が読みにくい感じもするのだが、問題意識は今の僕にとってはピッタリだ。set constraintsとかtermset algebraとか再帰的な型を含むsubtypingとか。

コゥゼンのどことなく古めかしい語りをもうちょっと現代風に書き直せたらいいな。現代風がイイとも限らんけど、僕にとっては圏論ベースのほうがわかりやすい。