The Strong Normalization of Intuitionistic Set Theory without Equality

スポンサーリンク

概要

• 論文の詳細を見る
• 慶応義塾大学日吉紀要刊行委員会の論文

著者

• 白旗 優

  慶応義塾大学日吉数学研究室

関連論文

• Geometry of Interaction explained (Algebra, Logic and Geometry in Informatics)
• Notes on the game semantics of Godel's T (Towards new interaction between category theory and proof theory)
• The Strong Normalization of Intuitionistic Set Theory without Equality
• A coherence space semantics for linear set theory(New Aspects in Non-Classical Logics and Their Kripke Semantics)
• Two simple models for linear set theory(Non-Classical Logics and Their Kripke Semantics)

スポンサーリンク