【calculus_of_constructions】什么意思_英语calculus_of_constructions的翻译_音标_读音_用法_例句_在线翻译

Calculus of constructions

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

构造演算

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

基于2444个网页-相关网页

演算

...在一同的零碎，它把MartinL.f 的结构性实际融入了Automath 零碎的一个扩展，该零碎命名为结构演算（Calculus of Constructions）。Thierry Coquand 在博士论文中提供了对这一零碎的λ 演算根底的元实际剖析。

基于12个网页-相关网页

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

- 来自原声例句