报告人：刘力恺
题目：罗素的分支类型论
时间：2021/3/16 15:10-18:00
地点：二教416
摘要：本报告将详细介绍分支类型论诞生的来龙去脉，分析分支类型论的核心思想，并讨论类型论能否实现逻辑主义纲领。
