02 2025 档案

摘要:tags: - 函数式编程 - 数学 - λ演算 [!quote] 关于λ表达式…… 详见λ表达式 ⚠ 本文导出自Obsidian,可能存在格式偏差(例如链接、Callout等) 本文地址:https://www.cnblogs.com/oberon-zjt0806/p/18710283 目录λ演算 阅读全文
posted @ 2025-02-11 18:20 Oberon 阅读(106) 评论(0) 推荐(0) 编辑
摘要:tags: - 函数式编程 - 数学 - λ演算 目录抽象抽象点函数抽象λ表达式 | λ项表达式的构成命名函数运用约束变量与自由变量归约 | 消解α转换 | α换名β归约η归约DEF原语 | 定义命名特殊的λ表达式恒等函数运用函数自运用函数 ⚠ 本文导出自Obsidian,可能存在格式偏差(例如链接 阅读全文
posted @ 2025-02-10 16:58 Oberon 阅读(22) 评论(0) 推荐(0) 编辑

点击右上角即可分享
微信分享提示