[logic-ml] homotopy type theory

logic at math.tsukuba.ac.jp logic at math.tsukuba.ac.jp
Fri May 13 01:39:17 JST 2016


現在筑波大学で上記について講義を
行っていますが、それの講義Notesを
筑波大学のRepositoryに置いていきますので、
ご案内しておきます。

https://tsukuba.repo.nii.ac.jp/?action=pages_view_main&active_action=repository_view_main_item_detail&item_id=37910&item_no=1&page_id=13&block_id=83

にしむら
筑波大学
数学

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

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




More information about the Logic-ml mailing list