[logic-ml] homotopy type theory

[logic]

https://arxiv.org/abs/1606.06540

上記の拙論文をご案内しておきます。

にしむら
筑波大学
数学

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

https://www.youtube.com/watch?v=nBRuhvsKml8