类型和编程语言：Abb代表什么？
在TAPL的全简单类型示例中。 TmAbb代表什么？ <p...
如何在C＃中将函数转换为比较器
我必须以这种方式对列表进行排序，所以我必须在变量...
分配语法与λ微积分应用语法 问题1 问题2 可能的解决方案
我正在使用ANTLR4及其C ++目标实现扩展的λ...
与Haskell中的map函数等效的Lambda微积分是什么？
map函数返回一个列表，该列表是通过将函数（第一个...
研究单纯型Lambda微积分时发现的怪异方程是什么
我正在学习单纯型Lambda演算，但是我对这些方程感到...
我如何在λ演算中证明XOR true true = false？
我知道XOR =（a）（（b）（false）（true））（b） ...
纯序言δλ-微积分等式
想出一个外表关系并不难 对于皮亚诺数字。它甚至可以...
Lambda微积分变量的变化和应用问题
我正在研究Haskell，并且正在学习什么是抽象，替代（...
如何以“普通”英语阅读以下表达
我正在阅读《从第一原理开始的Haskell编程》一书，尽...
λx有什么区别 xλyy和λxxλyy
<blockquote> Lambda表达式尽可能向右扩展。...
如何用 lambda 项中的 Church 数字定义函数？
如何用 lambda 项表达以下函数？ f(n) = T 如果 n !...
通过显示所有 Beta 减少来表明术语“cons”有效
我是函数式编程的新手。 因此术语 <code>cons...
组合逻辑中的 S-K 基完备性
我正在阅读有关组合逻辑的以下维基百科页面，并对给...
解析一系列 lambda 演算项
我正在用 Haskell 编写 lambda 演算解析器，但找不到...