白旗 優 | 慶応義塾大学日吉数学研究室
スポンサーリンク
概要
関連著者
-
白旗 優
慶応義塾大学日吉数学研究室
-
白旗 優
Department of Mathematics, Keio University, Hiyoshi Campus
-
白旗 優
School of Information Science, Japan Advanced Institute of Science and Technology
著作論文
- 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)