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

Workshops

Young Logicians Gathering in Japan 2012,
held at Naraken Seishonen Kaikan, 25th - 27th November, 2012.
Workshop on Linear Logic (Geometry of Interaction, Traced Monoidal Categories and Implicit Complexity),
held at Kyoto University, 7th - 11th November, 2011. Program

Miscellaneous