typed lambda-calculus

[typed lambda-calculus]
[typed lambda-calculus]

中文释义

具型式之 λ 演算

单词分析

单词结构:

typed lambda-calculus

字母数:21

记忆提示

🎯 重点记忆:

  • 单词拼写:typed lambda-calculus
  • 核心含义:具型式之 λ 演算