[logic-ml] ICMS 2016

logic at math.tsukuba.ac.jp logic at math.tsukuba.ac.jp
Sat Mar 26 02:04:29 JST 2016

Previous message: [logic-ml] homotopy type theory
Next message: [logic-ml] Talk by Nayuta Yanagisawa, Wed 30 Mar
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

上記Conferenceをご案内しておきます。

http://icms2016.zib.de/sessions.html

にしむら
筑波大学
数学域

追伸：オマケです。手持無沙汰の折にでも
どうぞ。

https://www.youtube.com/watch?v=9-B8LnBNwO8

Previous message: [logic-ml] homotopy type theory
Next message: [logic-ml] Talk by Nayuta Yanagisawa, Wed 30 Mar
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Logic-ml mailing list