typed lambda-calculu
查询英语单词中文释义、音标、发音和例句。
typed lambda-calculus
英
[typed lambda-calculus]
美
[typed lambda-calculus]
中文释义
具型式之 λ 演算
单词分析
单词结构：
typed lambda-calculus
字母数：21
记忆提示
🎯 重点记忆：
- 单词拼写：typed lambda-calculus
- 核心含义：具型式之 λ 演算
最近查询：
anhydrite ore
capillary artery
clamping die
combustion product gas
cycloversion process
DFTBA
double byte data
end piece
habitat conditions
Hancock John
heat drying machine
local line system
preparatory action
soilds flow
spurt
stoker coal-fired boiler
Trapa manshurica
trypsin inhibitor
unslumbrous
version id
更新时间：2026-08-29 00:25:35