30 Oct
2016
30 Oct
'16
12:15 a.m.
-------- 元のメッセージ -------- 件名: homotopy type theory 日付: 2016-10-29 01:21 発信者: logic [email protected] 宛先: [email protected]
https://arxiv.org/abs/1606.06540
上記の拙論文をご案内しておきます。
にしむら 筑波大学 数学
追伸：オマケです。手持無沙汰な折にでもどうぞ。