Curry-Howard correspondence

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

中文释义

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

单词分析

单词结构：

Curry-Howard correspondence

字母数：27

记忆提示

🎯 重点记忆：

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

最近查询：

Adabīyah Ra's Apex cornus posterioris atherothrombogenic automated stock picker books up crimpings focht hungereth king pheasant lift engager linear finite automaton local excision of lesion of ear macropisthodon rudis mammillary reflex matricizations Nǔnggu-ri Packet sniffer RSPL securities in the trust fund unowns

更新时间：2026-02-04 14:07:40