- calculus of constructions
下载手机词典可随时随地查词查翻译
构造演算的英文
百科释义
构造演算(CoC)是高阶有类型 lambda 演算，这里的类型是一级值。因此在 CoC 内有可能定义从整数到类型、从类型到类型的函数，同从整数到整数的函数一样。
详细百科解释
相关词汇
- 构造: structure; construction; con ...
- 演算: perform mathematical calcula ...
- 构造演变: tectonic evolution
- 构造演化: structural evolution
- 大地构造演化: geotectonic evolution
- 演算: perform mathematical calculations; calculation; calculus◇演算器 exerciser
- d演算: d-calculus
- lambda 演算: lambda calculus
- lambda演算: lambda calculus
- Λ演算: lambda calculus
- λ演算: lambda calculus
- 反演算: inversion
- 计算，演算: calc calculation
- 类演算: calculus of classes
- 演算表: boolean operation table
- 演算的: algorithmic
- 演算法: ant algorithm; cocke-kasami-younger algorithm cky
- 演算器: exerciser
- 域演算: domain calculus
- 构造: structure; construction; constructional detail; tectonic; structural; makeup; anatomy; constitution; build; formation 句子构造 sentence construction; 这建筑构造奇异。 the building was of bizarre construction. 医生研究人体构造。 doctors study the structure of the human body.; 构造层 tectonosphere; 构造带 tectonic zone; 构造地震 tectonic earthquake; 构造地质学 geotectonics; tectonic geology; tectonics; structural geology; 构造风格 structural style; 构造复合 compounding of structures; 构造格局 tectonic framework; 构造谷 [地质学] structural valley; 构造结构 structural texture; 构造陆地 [地质学] tectonic land; 构造论 constructionism; 构造体系 tectonic system; structural system; 构造图 [地质学] constructional drawing; structure map; tectonic map; structure diagram; 构造型式 tectonic type; tectonic patterns; 构造学 tectonics; 构造序次 structural generation; 构造要素 structural element; 构造异常 structural anomaly; 构造原理 aufbauprinciple; 构造运动 tectonic movement; tectogenesis; 构造转向 [地质学] vergence; 构造作用 tectonism; 构造作用力 tectonic force
- cky演算法: cky algorithm (cocke-kasami-younger)
- d立方演算: d cube calculus; d-cube calculus
- earley演算法: earley algorithm
- em演算法: em algorithm
- kruskal演算法: kruskal's algorithm