类型理论中的同构不变性和同构反射（TYPES 2023）

• 2023年6月15日
• 安德烈·鲍尔
• 会谈,类型理论

在2023型我很荣幸地做了一个受邀的演讲“关于类型理论中的同构不变性和同构反射”，其中我讨论了同构反射，即同构类型在判断上是相等的。这个奇怪的原则是一致的，它验证了一些相当奇怪的类型理论声明。

这里有带有演讲者备注的幻灯片和视频录制谈话的重点。