http://d.hatena.ne.jp/soutaro/20060926#c1159613779追記：T****Sの査読は遅くなったと私もよく聞きます。外しているかもしれませんが。

いつの間にか出ていた。20秒ぐらい見た限り、自分の研究に直接の関係があるという意味で興味があるのはA Complete, Co-Inductive Syntactic Theory of Sequential Control and StateとSecure Implementations of Typed Channel Abstractionsあたりか。