技术栈

λ演算

Oberon
3 个月前
数学·函数式编程·λ演算
从零开始的函数式编程(2) —— Church Boolean 编码[!quote] 关于λ表达式…… 详见λ表达式⚠ 本文导出自Obsidian,可能存在格式偏差(例如链接、Callout等) 本文地址:https://www.cnblogs.com/oberon-zjt0806/p/18710283