Curry-Howard correspondence

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

中文释义

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

单词分析

单词结构：

Curry-Howard correspondence

字母数：27

记忆提示

🎯 重点记忆：

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

最近查询：

'Eua 3-DEAZAU acelomatous basaltic jointing Calcjex certificate of possession of land Doppler inertial system doxorubicina duratives holevas maze decision nonbillionaires omphaloscopy relative mobility Rubus assamensis Ruthenian shetland sheepdogs spin a yard Suur Munamägi uricase

更新时间：2026-02-04 16:22:12