证明定理时循环
在用 Coq 中的 Debruijn 索引和替换形式化 lambda 演...
普通函数和 lambda Haskell 函数有什么区别？
我是 Haskell 的初学者，我一直在关注电子书 <a ...
方案中的 Y 组合器使用教堂数字爆炸，但适用于常规数字
我刚刚阅读了 Raul Rojas 的“Lambda 微积分教程介绍...
您如何使用简单类型化 lambda 演算中的规则为此编写类型参考？
我必须给出这个特定语句的类型推导 • ` λf : unit...
如何测试 lambda 演算？
我用 C++ 实现了 lambda 演算，但现在我不知...
lambda 表达式中的递归
是否可以在 Isabelle/HOL 中编写递归 lambda 表达式...
为什么不能像定义中那样实现定点组合器？
我正在尝试实现 Y 组合器 <a href="https://...
使用 Lambda 函数集成会出现错误
我第一次尝试使用 Lambda 函数对指数函数进行积分。...
是否允许将参数移动到 Lambda 项的右侧或左侧？
<img src="https://i.stack.imgur.com/aEoFK...
重写教会数字函数
在 SICP 中，它定义了正数的教会数字如下： <pre...
Lambda 演算计划
以下是将 lambda 函数的外观“映射”到它在方案中的...
从一对到 lambda 演算/方案中的列表
我正在学习一些关于 lambda 演算（非常简洁）的知识...
来自 lambda 演算的示例汇编/机器指令
我正在学习一些 lambda 演算，我很好奇的一件事是如...
是否可以用 Haskell 或任何其他语言编写一个或多个仅表示封闭项的数据结构？
使用 De Bruijn 表示法，可以将 lambda 项定义为： ...