2025年5月3日
λ 演算
摘要： λ 演算 通用 函数 函数即值, 函数仅单参数 函数定义 抽像 abstration: \((\lambda x.M)\) 函数调用 作用 application: \((f \space a)\) 函数归约 归约 reduction \[\begin{array}{lcl} ((\lambda x 阅读全文
posted @ 2025-05-03 12:46 (.)$(.) 阅读(7) 评论(0) 推荐(0)