倉田 俊彦 | 法政大学経営学部
スポンサーリンク
概要
関連著者
著作論文
- 完備半順序集合の層に関する双極限の構成 (証明論と論理・計算の構造)
- 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)