Denotational Semantics Excluding Weak-Extensionality in Simple Types (短期共同研究 照明論と計算論)

スポンサーリンク

概要

• 論文の詳細を見る
• 京都大学の論文

著者

• 倉田 俊彦

  法政大学経営学部

• 倉田 俊彦

  東京都立大学理学研究科数学専攻

関連論文

• 完備半順序集合の層に関する双極限の構成 (証明論と論理・計算の構造)
• 2階直観主義命題論理のKripkeモデルと束論的モデルの双対性 (形式体系と計算理論)
• Some aspects of extensionality of arrows in cartesian closed category (算術体系の証明論--RIMS共同研究報告集)
• Denotational Semantics Excluding Weak-Extensionality in Simple Types (短期共同研究 照明論と計算論)
• Sheaf-Theoretical Representation of Concrete Domains (Proof theory and complexity)

スポンサーリンク