中英▼
go top

Calculus of constructions

  • 构造演算（CoC是高阶有类型lambda演算，类型是一级值，可定义从整数到类型、从整数到整数的函数。CoC是强规范化的，是Coq定理证明器早期版本的基础。归纳数据类型必须模拟为它们的多态解构函数）

网络释义英英释义

  构造演算

... 操作演算 operation 程序演算 Program Algorithm 构造演算 calculus of constructions ...

基于2444个网页-相关网页

Calculus of constructions

  • abstract: The Calculus of Constructions (CoC) is a significant type theory created by Thierry Coquand. It can serve as both a typed programming language and as constructive foundation for mathematics.

以上来源于: WordNet

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定