2008-07-18 "Strong normalization of second order symmetric Lambda-mu calculus" (Yoriyuki Yamagata) logic 16時から所内セミナー、Yg氏が発表、内容は前回の続き。