Curry-Howard correspondence

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

中文释义

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

单词分析

单词结构：

Curry-Howard correspondence

字母数：27

记忆提示

🎯 重点记忆：

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

最近查询：

-gated aesthesiology allegorical poem bummin' crown gold Eurosceptical flea market get up the courage hedge trees hull return hypopexia Kot Diji Matthiola prochaetostricha monticola radio engineering refactors schalen shoreward of short-run adjustment model whickering

更新时间：2026-02-03 23:11:47