文件名称：LMFI-HoTT
文件大小：1.99MB
文件格式：ZIP
更新时间：2024-04-20 12:21:41
TeX
同伦类型理论导论（LMFI 2021） 讲师 类型理论：雨果·赫伯林（Hugo Herbelin） 同态类型理论的语义学：Paul-AndréMelliès 合成同伦理论：雨果·莫内克莱（Hugo Moeneclaey） 日程 4月13日，星期二，10-12 4月13日，星期二，14-16 4月14日，星期三，10-12 4月15日，星期四，10-12 4月15日，星期四，14-16 4月16日，星期五，12-12 讲座将在线举行 可用的讲义 参考书目 ，2013年 Pierre-Louis Curien的LMFI讲授的和的 ，B。Nordström，K。Petersson和JM Smith，2000年
【文件预览】：
LMFI-HoTT-master
----.gitignore(3KB)
----Lecture_notes()
--------Lecture_notes.pdf(351KB)
--------.DS_Store(6KB)
--------ITT.pdf(461KB)
--------biblio.bib(5KB)
--------Lecture_notes.tex(147KB)
----README.md(2KB)
----cours-2020()
--------Homework()
--------choix-article(1KB)
--------ITT.pdf(460KB)
--------README.md(2KB)
--------plan.html(7KB)
--------Exercise_Sheets()
--------cubical.pdf(272KB)
--------realisability-parametricity.pdf(172KB)
--------articles.html(5KB)