http://uni.2ch.net/test/read.cgi/math/1325513069/660
>鶏のようなlofさんの型理論

「鶏のような」ってMartinのこと？
ちなみにlofじゃなくてlo"f(loef)ね。