Notes on the game semantics of Godel's T (Towards new interaction between category theory and proof theory)
スポンサーリンク
概要
著者
関連論文
- 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)