类型理论

简介在数学、逻辑学和计算机科学中，类型理论是对特定类型系统的正式表述，一般来说，类型理论是对类型系统的学术研究。一些类型理论作为集合理论的替代品，...