lambda-calculus
-
Hindley-Milner 类型系统中 letrec 的正确形式？
-
Haskell - 多态性和值取决于类型
-
您如何使用 Scott 编码表示嵌套类型？
-
是否有任何非递归术语折叠在 scott 编码列表上？
-
使用 'bound' 对依赖的 lambda 抽象进行类型检查的正确方法是什么？
-
是否可以通过修改这个简单的 reducer 来展示不同的评估策略？
-
在 Coq 中扩展递归函数
-
Lambda 微积分如何添加数字？
-
将 flip lambda 转换为 SKI 项
-
获取 Lambda 演算表达式中的谓词
-
是否可以在 lambda 演算上实现 returns 一个 n 元组的函数？
-
您如何将 lambda 术语转换为交互网络？
-
访问块内的外部变量和 Y 组合器
-
如何在 Parsec 中手动操作特殊表达式的优先级？
-
lambda 演算的按值调用解释器和按名称调用解释器之间的区别
-
使用整数偏移量来引用隐式单个参数的 lambda 表示法的名称是什么？
-
什么是自然数和有效的简单类型 lambda 演算项之间的映射？
-
Lambda 微积分 beta 归约
-
如何正确柯里化 JavaScript 中的函数？
-
在 Rascal 中解析和实现 lambda 演算