lambda-calculus
-
定义 lambda 演算构造函数的正确方法
-
在保持左结合性的同时避免左递归解析 Lambda 微积分
-
Javascript 无条件递归
-
如何在没有 ghci 的情况下找出 haskell 表达式的类型？
-
从无类型术语及其 CC 类型中恢复 CC 术语的干净算法是什么？
-
Scala 中 lambda 演算中的布尔逻辑
-
是否存在两个外延相等但范式不同的 lambda 项？
-
仅使用加法、乘法、减法和最大值的整数除法
-
多态类型规范
-
带有教会数字的 1 的后继者的缩减步骤
-
F# 中的教会数字
-
Link 在 C++ 中的 lambda 演算和 lambda 表达式之间
-
显示 β-reductor 中的中间项
-
如何在 OCaml 中实现 lambda 演算？
-
Mogensen 二进制编码的继任者和前任问题
-
如何在 JOOL 中创建一个范围
-
lambda 演算中的变量范围 / haskell
-
\x->\x->x alpha 是否等同于 \x->\y->x？
-
\x->y alpha 等同于 \y->y 吗？
-
lambda 演算中变量之间的 Alpha 等价性