ranhaさんのページ

表示的意味論について丁寧に学べる良書だと思います。 リクエスト内容に概要が書かれていますが、型無しλ計算からドメインセオリへ。 そしてその内容を踏襲してPCFについて学び、更にカテゴリセオリから型無しλ計算のモデルについてまで、考え...