Some aspects of extensionality of arrows in cartesian closed category (算術体系の証明論--RIMS共同研究報告集)

スポンサーリンク

概要

• 論文の詳細を見る

著者

• 倉田 俊彦

  法政大学経営学部

関連論文

• 完備半順序集合の層に関する双極限の構成 (証明論と論理・計算の構造)
• 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)

スポンサーリンク