NARITA TADASHI | Central Research Laboratories, SS Pharmaceutical Co.
スポンサーリンク
概要
論文 | ランダム
- 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)
- 安全の構築に向けて-東日本大震災より明らかになった課題と安全再構築の視点 : 「安全工学シンポジウム2011」パネル討論より