摘要: tags: - 函数式编程 - 数学 - λ演算 目录抽象抽象点函数抽象λ表达式 | λ项表达式的构成命名函数运用约束变量与自由变量归约 | 消解α转换 | α换名β归约η归约DEF原语 | 定义命名特殊的λ表达式恒等函数运用函数自运用函数 ⚠ 本文导出自Obsidian,可能存在格式偏差(例如链接 阅读全文
posted @ 2025-02-10 16:58 Oberon 阅读(22) 评论(0) 推荐(0) 编辑
点击右上角即可分享
微信分享提示