Logic-ml September 2016

logic-ml@fos.kuis.kyoto-u.ac.jp
  • 15 participants
  • 22 discussions
homotopy type theory
by logic@math.tsukuba.ac.jp 30 Oct '16

30 Oct '16

30 Sep '16

29 Sep '16
correction again
by 吉信 康夫 21 Sep '16

21 Sep '16
correction
by 吉信 康夫 21 Sep '16

21 Sep '16
nagoya logic seminar
by 吉信 康夫 20 Sep '16

20 Sep '16
公募
by 泉英明 19 Sep '16

19 Sep '16
(no subject)
by 泉英明 19 Sep '16

19 Sep '16
数学基礎論とその応用
by Makoto Kikuchi 17 Sep '16

17 Sep '16
Results per page: