Brauerの立場と、領域理論のつながりに関する論文らしいが、論じきるには紙幅が足りないという状態だったらしい。

kgbukgbu のブックマーク 2008/07/02 22:50

その他

このブックマークにはスターがありません。
最初のスターをつけてみよう!

「なぜ意味論は「プロセス」を含むか -表示意味論/領域理論をめぐって」(岡本賢吾) - あいまいな本日の私 blog

    科学哲学40-2(2007) pp.23-39. 計算機科学で使われる表示意味論と、特に領域意味論に注目し、領域意味論の有限データ性とブラウワーの連続性概念が似ていることを指摘した後、領域意味論もある意味で生成的/プロ...

    \ コメントが サクサク読める アプリです /

    • App Storeからダウンロード
    • Google Playで手に入れよう