83-10 スコット理論における連続束の一般化とその動機

スポンサーリンク

概要

• 論文の詳細を見る
• 一般社団法人情報処理学会の論文
• 1983-03-15

著者

• 足立 高徳

  東工大・理

関連論文

• 中島玲二 著, 数理科学ライブラリー3, "数理情報学入門 : スコット・プログラム理論", 朝倉書店, A5判, 184p., \2,500, 1982
• 83-26 スコット理論入門
• 83-10 スコット理論における連続束の一般化とその動機

スポンサーリンク