lambda-calculus
-
Haskell Lambda Alpha 等价
-
简单类型λ演算中闭项自由变量的归纳假设
-
在急切求值中编码 if 分支和递归
-
C 中的 lambda 演算：布尔运算符和 NOT 运算符
-
Lambda 微积分——使用 Mocking Bird 表达的函数似乎应该是递归的，但不是
-
Lambda 微积分：捕获避免替换的递归定义
-
非递归 lambda 演算阶乘函数
-
在一个表达式中打印斐波那契数列的前 n 个数
-
如何在没有 if then else 语句的情况下在 haskell 中编写递归阶乘函数
-
lambda演算中列表元素的总和和列表的长度
-
如何使用 Clojure 语言的子集在 lambda 演算中实现递归函数？
-
java8 中的 "Stream" 如何工作？
-
apostrophes/character 文字在 Haskell 中是如何解析的？
-
应用 beta-reduction（调用 returns func 的 func）来获得 python 中的抽象（函数）
-
哪些术语对应于范畴论中的 Map、Filter、Foldable、Bind 等？
-
Java 8 lambda 和 alpha 等价
-
函数式编程和马尔可夫链有某种关联吗？
-
Lambda 微积分中是否允许未绑定变量？
-
使用正则表达式处理 λ 表达式中的函数应用
-
替代模型是否适用于闭包？或者你需要一个环境模型？