MI Lecture Note Series
Title：The MI Lecture Notes published on and after April 1, 2015, are available at the IMI website.
Title：Workshop on “β-transformation and related topics"
Editor : Tomoyuki Shirai
If you need this Lecture Note, please send an e-mail to the COE office.
Title：Theorem proving and provers for reliable theory and implementations (TPP2014)
Editor : Yoshihiro Mizoguchi, Jacques Garrigue, Manabu Hagiwara and Reynald Affeldt