[logic-ml] homotopy type theory

[logic at math.tsukuba.ac.jp]

昨日差し上げたものはだいぶ誤植があったので、
修正したものをお送りします。

にしむら
筑波大学
数学

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

https://www.youtube.com/watch?v=lVTXNa4UMHs
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Mathematics ????IIIA.pdf
Type: application/pdf
Size: 117191 bytes
Desc: not available
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20160325/5da48a33/attachment-0002.pdf>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: Mathematics ????IIIB.pdf
Type: application/pdf
Size: 117340 bytes
Desc: not available
URL: <http://www.fos.kuis.kyoto-u.ac.jp/pipermail/logic-ml/attachments/20160325/5da48a33/attachment-0003.pdf>