B站:函数式编程的基础:λ演算
Y组合(递归,DNA)
认知科学家写给小白的Lambda演算
λ演算-简单介绍lambda演算的基本定义以及操作
函数、变量、应用
12 也是变量
没有实参则保留
“λ”,“.”,“(”,“)”,五大符号,空格与","等价为参数间隔符
λ演算(lambda演算)原理通俗易懂的详细总结
λ项
α-变换,β-归约,η-变换
λ演算简介及coq实现λ演算
B站:lambda演算——计算的另一种视角
B站:【计算机讲座第一弹】面皮——λ演算及其可计算性
神奇的λ演算
函数第一性
0 = λ f x. x
F = λ x y. y
等价
下一篇:matplotlib 绘图入门