Homepage of Kazushige TERUI
Associate Professor at
Research Institute for Mathematical Sciences
Address: Kitashirakawa Oiwakecho, Sakyo-ku, Kyoto 606-8502, JAPAN.
e-mail: terui at kurims.kyoto-u.ac.jp
RIMS Computer Science Group Homepage
NII Logic Seminar Homepage
Nonclassical Logics and Logics in Computer Science: Linear Logic, Substructural Logics
Lambda Calculus and Type Theory
Implicit Computational Complexity
Publications in Japanese
RIMS Workshop on Proof, Computation and Related Issues 2014
held at Kyoto University, 24th - 26th December, 2014.
Workshop on Proof Theory 2013
held at Keio University, 8th - 9th August, 2013.
Summer School on Foundations of Mathematics 2013
held at Keio University, 5th - 7th August, 2013.
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.
Class handout (Computer Science Nyuumon 2012)
Curriculum Vitae (in English)
Curriculum Vitae (in Japanese)
Orchestra du petit prince