20/06/28 14:21:40.63 bfBvt+85.net
メモ
Homotopy Type Theory
って、面白いよね
Inter-universal geometry と ABC予想 53
ｽﾚﾘﾝｸ(math板:967番)
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Homotopy Type Theory 入門
上村 太一
2017 年 8 月 7 日
URLﾘﾝｸ(www.kurims.kyoto-u.ac.jp)
Taichi Uemura
Talks
Fibred Fibration Categories, Workshop on Homotopy Type Theory / Univalent Foundations, June 25?26, 2016, Porto, Portugal. slide
URLﾘﾝｸ(hott-uf.gforge.inria.fr)