Homepage of Kazushige TERUI

• Associate Professor at Research Institute for Mathematical Sciences, Kyoto University
• Address: Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN.
  Phone: +81-75-645-7511
  Fax: +81-75-645-7528
• e-mail: terui at kurims.kyoto-u.ac.jp
• RIMS Computer Science Group Homepage.
• NII Logic Seminar Homepage.

Research Interest

• Nonclassical Logics and Logics in Computer Science: Linear Logic, Substructural Logics
• Lambda Calculus and Type Theory
• Implicit Computational Complexity

Publications

Publications in Japanese

Slides

Workshop

• Workshop on Linear Logic (Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity),
  held at Kyoto University, 7th - 11th November, 2011. Program

Miscellaneous

• Class handout and report (Kisosuugaku Karano Tenkai)
• Curriculum Vitae (in English)
• Curriculum Vitae (in Japanese)
• Orchestra du petit prince.
• Yuba---* Nikki