Logic-ml April 2016

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 10 participants
  • 10 discussions

28 Apr '16
Talk by Cho Kenta (Nijmegen), Tue 10 May
by Takumi Akazaki 27 Apr '16

27 Apr '16

22 Apr '16
数学基礎論とその応用
by Makoto Kikuchi 15 Apr '16

15 Apr '16

13 Apr '16
SLACS2016のご案内
by Koji Nakazawa 12 Apr '16

12 Apr '16
homotopy type theory
by logic@math.tsukuba.ac.jp 09 Apr '16

09 Apr '16
Results per page: