直觉类型理论

直觉类型理论直觉类型理论（又称构造类型理论，或马丁-勒夫类型理论）是一种类型理论，也是数学的另一种基础。所有的版本都保留了构造逻辑的核心设计，即使用...