类型理论的历史

类型理论的历史类型理论最初是为了避免各种形式逻辑和重写系统中的悖论而产生的。后来，类型理论指的是一类形式系统，其中一些可以作为天真的集合理论的替代...