Kyoto Tachibana University · Faculty of Engineering

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 2019/06 学術論文 「A Linear-Logical Reconstruction of Intuitionistic Modal Logic S4.（査読付）」 4th International Conference on Formal Structures for Computation and Deduction (FSCD 2019) (Article No. 20):1-20：24 （共著）2019 · 論文
• 2018/08 学術論文 「A Higher-arity Sequent Calculus for Model Linear Logic.」 数理解析研究所講究録 2083:76-87 （共著）2018 · 論文

• Official profile