Curry-Howard correspondence

英 [Curry-Howard correspondence]
美 [Curry-Howard correspondence]

中文释义

[网络] 柯里-霍华德同构

单词分析

单词结构：

Curry-Howard correspondence

字母数：27

记忆提示

🎯 重点记忆：

  • 单词拼写：Curry-Howard correspondence
  • 核心含义：[网络] 柯里-霍华德同构

最近查询：

beems being as condyloid artery coppermine r. crataerina (stenepteryx) hirundinis decontamination squad flow injection spectrophotometry germinal aperture hypothetical baptism Lagochilus brachyacanthus leeriness massprop mesenchymal sarcoma post acceptance refuse disposal plant ride roughshod sub-pixel resolution Sutherland Falls tidal chamber trapezoidal flume

更新时间：2026-02-03 21:21:03