種別[hbm] セクションJRF の公開ブックマーク 日時2011年01月20日 20:19:06 元URLhttp://www.kmonos.net/wlog/61.html タグ[型理論] [論理学] Curry-Howard Isomorphism@d.y.d.