构造微积分-一流百科

构造微积分

简介在数理逻辑和计算机科学中，构造微积分（CoC）是ThierryCoquand创建的一种类型理论。它既可以作为一种类型化的编程语言，也可以作为数学的构造基础。基于...