lambda-calculus
-
正常顺序的步骤比应用顺序少的示例？
-
Lambda 演算归约步骤
-
是否真的可以从构造微积分中删除 "Pi"？
-
仅使用增量、循环、赋值、零的减法运算
-
在 Haskell 中实现多态 λ-calculus/System F 对的 Church 编码
-
是否可以在现代 Haskell 中定义 Omega 组合器 (λx.xx)？
-
EVAL：Lisp 中的未定义函数 NIL
-
有什么有效的方法可以将一元数转换为二进制数？
-
是否可以推断 Haskell 上纯 λ 函数的归一化源？
-
Y-Combinator 定义
-
如何从纯 JavaScript 函数恢复源代码？
-
方案中教堂数字的递归
-
如何在 Oz 编程语言中使用 AND
-
求解函数方程的最先进方法是什么？
-
如何在 Racket 中应用 lambda 演算规则？
-
为什么 λ 演算最优评估器能够在没有公式的情况下计算大的模幂？
-
互动网留下一堆堆多余的粉丝是不是很正常？
-
为什么 GHC 不会减少我的类型家族？
-
将自然语言转化为逻辑公式
-
是否可以有效地评估 lambda 演算项？