「型の理論」と証明支援システム

12月16日 マルレク第七回

テーマ:「 「型の理論」と証明支援システム 」

概要:http://kokucheese.com/event/index/130554/
資料:http://docs.google.com/file/d/0B04ol8GVySUuSWJJUUEwRXJPM0E/