lambda-calculus
-
Y Combinator 实现方案
-
Idris 中匿名身份函数的类型
-
找出以下 lambda 演算项的最一般类型
-
Lambda 微积分：构建一个在每次迭代中接受更多参数的函数
-
在haskell中函数定义的LHS中添加参数的语义是什么？
-
haskell如何实现Church编码划分？
-
在 haskell 中使用 y 组合器
-
Scala 中的 lambda 演算
-
类型正确和错误类型的 lambda 术语
-
递归 lambda 演算函数
-
如何对二进制 lambda 演算的输出建模？
-
教会编码的目的是什么？
-
lambda 表达式的值和结合性
-
Lambda 演算 (SML) - 将一个教堂编号应用于另一个
-
beta 减少和单步 beta 减少之间的区别？
-
"free variable" 和 "free occurrence of a variable" 在 lambda 演算上下文中的区别
-
PCF 有 LL(k) 文法吗？
-
一行 Haskell 中的 Thue-Morse 序列
-
无法推导出 lambda 表达式 λx.λy.x(xy) 的数字表示（教会编码）
-
仅使用递增、循环、赋值、零的关系操作