lambda-calculus
-
替代模型是近似 JavaScript 如何评估纯代码的好方法吗？
-
如何实现 f(g) == g(f)
-
OCaml 的类型系统会阻止它对教会数字建模吗？
-
如何在 lambda 演算中正确减去 TRUE 和 TRUE？
-
为什么我们在达到这个期限后就停止了？ λ微积分
-
Ocaml 中的嵌套 "Let" 表达式
-
Haskell如何写自助申请功能？
-
什么是底层类型？
-
Beta 归约 Lambda 演算
-
能否证明 call-by-need 在所有归约策略中具有最小的渐近时间复杂度？
-
为什么 `id id` 不是 OCaml 中的值？
-
为什么定义丘奇数词
-
为什么不能替换 x
-
为什么 x 在 lambda 中是自由的
-
如何减少 lambda 演算
-
溶解 lambda 演算
-
减少一些 lambda 的 Beta
-
为什么这是一个无效的 eta 转换？
-
编译时替换使程序恶化的示例
-
证明一系列步骤终止