http://d.hatena.ne.jp/m-hiyama/20070728/1185590130私もφ→φ＝｛φ｝（空集合から空集合への関数の集合は、空集合のみを要素とする単一元集合）しかありえないと思う（＆その本を読んだことがない*1）ので著者の意図はわかりかねますが（知らないわけはない…

これも秘密ではないと思いますが（著者には投稿件数が公開されたそうなので、ちょっと計算すればわかることですし）、POPLのreviewは委員一人あたり30本弱になりました。いろいろな方にsubreviewをお願いしているのですが（ありがとうございます＞お返事をく…