Logic-ml August 2016

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

30 Oct '16

24 Aug '16
JAIST Logic Seminar Series
by Hajime Ishihara 22 Aug '16

22 Aug '16
SLACS2016のご案内
by sasaki 22 Aug '16

22 Aug '16
CTFM2016のご案内
by Makoto Fujiwara 19 Aug '16

19 Aug '16
CTFM2016のご案内
by Makoto Fujiwara 19 Aug '16

19 Aug '16
Results per page: