共2篇相关文章
tags: - 函数式编程 - 数学 - λ演算 目录抽象抽象点函数抽象λ表达式 | λ项表达式的构成命名函数运用约束变量与自由变量归约 | 消解α转换 | α换名β归约η归约DEF原语 | 定义命名特殊的λ表达式恒等函数运用函数自运用函数...
tags: - 函数式编程 - 数学 - λ演算 [!quote] 关于λ表达式…… 详见λ表达式 ⚠ 本文导出自Obsidian，可能存在格式偏差（例如链接、Callout等） 本文地址：https:www.cnblogs.como...
