同伦类型和同伦类型
Vendredi 2024年5月24日，15 heures 30，Salle 3052
莎拉·雷布利特 立方型理论及其模型

同伦类型和同伦类型
Vendredi 2024年3月29日，15公顷30，Salle 3052
莫阿纳·朱伯特 Sémantique de la théorie同伦des types

同伦类型和同伦类型
Vendredi 2024年5月15日，15小时30，Salle 3052
文森特·莫罗 单纯形模型：单叶弱通用纤维

同伦类型和同伦类型
Vendredi 1 mars 2024，15 heures 30，Salle 3052
西尔万·杜托 单形集的同伦理论

同伦类型和同伦类型
Vendredi 2 février 2024，15 heures 30，Salle 3052号
西尔万·杜托 直觉拓扑surles同伦

同伦类型和同伦类型
Vendredi 19 janvier 2024，15 heures 30，Salle 3052号
文森特·莫罗 如何使用Agda在类型理论中编写数学代码

同伦类型和同伦类型
Vendredi 8 décembre 2023，15 heures 30，Salle 3052号
莫阿纳·朱伯特 类型同伦的Prérequis同伦

同伦类型和同伦类型
Vendredi 2023年11月24日，15小时30，Salle 3052
皮埃尔·埃瓦里斯特·达甘 类型理论中替换的解密

同伦类型和同伦类型
Vendredi 2023年11月10日，15小时30，Salle 3052
西尔万·杜托 简单集简介

同伦类型和同伦类型
Vendredi 2023年10月20日，15公顷30，Salle 3052
文森特·莫罗 类型理论概述