Curry-Howard correspondence

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

中文释义

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

单词分析

单词结构：

Curry-Howard correspondence

字母数：27

记忆提示

🎯 重点记忆：

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

最近查询：

agricultural typology area of interest cachectic connector panel data processing department organization depreciation annuity method key to variety NDCA orthogonal field pirogen place of loading pneumogastric nerve (or vagus nerve) Psathyrostachys huashanica retractable type roccuss sheared crack total cloud cover tree morning glory tropical bleached soil try our best

更新时间：2026-02-04 03:08:45