Curry-Howard correspondence
美式发音
英式发音
词典收录
| 英文单词： | Curry-Howard correspondence |
|---|---|
| 中文翻译： | [网络] 柯里-霍华德同构 |
词汇解析
[网络] 柯里-霍华德同构
常见用法
Curry-Howard correspondence 的常见用法：
- to Curry-Howard correspondence
- Curry-Howard correspondence of
- Curry-Howard correspondenceing
最新更新单词
acceptable indexing
actual parameter display
blue-bell
culicine
fix-bitumen
gonarezhous
methyllaurotetanine
monninger
motorized junk
oxharrow
perspectometer
prepresbyopia
protocol level
resiphons
romolo
roofing iron
sleeper charges
tractive effort at hourly rating
transmitter pulse
trapped carrier
更新时间：2025-04-26 21:04:55