言及状況

外部データベース (DOI)

はてなブックマーク (1 users, 1 posts)

Twitter (1 users, 1 posts, 0 favorites)

@silver_pork なるほど,そして判断は命題ではないのですね.最初ご利益が不明でしたが,金子洋之,"直観主義タイプ理論の意味論的背景"(1988)読んだらだいぶわかりました.型をつけるところが判断で,命題は型だということか. https://t.co/NvbWMDTg

Wikipedia (1 pages, 1 posts, 1 contributors)

編集者: I.hidekazu
2013-12-22 19:46:37 の編集で削除されたか、リンク先が変更された可能性があります。

収集済み URL リスト