lambda-calculus 相关问题

λ-calculus是函数定义，函数应用和递归的形式系统，它构成了函数式编程的数学基础。

使用javaScript生成语言ANBNCN的最简洁的方法是什么？

javascript lambda-calculus turing-machines declarative computability

回答 2 投票 0

如何对 lambda 抽象执行 beta 缩减？

在 Will Kurt 关于 Haskell 的书中，有一个关于如何使用 lambda 抽象在 Haskell 中覆盖变量 x 的示例（不要在家尝试！）。这是示例： (\x -> (\x -> (\x -&g...

haskell lambda-calculus

回答 1 投票 0

lambda 演算定理

我必须解决这个练习：制定并证明 lambda 演算的汇合定理（即，证明如果 λ 表达式 e 约简为 e1 和 e2，则存在 e' 使得 e1 和 e2 ...

lambda coq theory lambda-calculus coq-tactic

回答 1 投票 0

使用递归下降解析扩展 lambda 演算

我正在用 C 语言编写基于简单 lambda 演算的语言的解释器。语言的 EBNF 是 S ::= E E ::= 'fn' var '->' E | T {'+' T} | T {'+' T} | T {'-' T} T ::= F {'*' F} | T ::= F {'*'F} | F {'/' F} F ::= P {P} P ::= v...

parsing compiler-construction grammar lambda-calculus ll-grammar

回答 1 投票 0

定义相等谓词 Lambda 演算 nltk

我正在尝试定义单词“are”的 Lambda 演算表示，它是此 ccg 的等式谓词： ccg = ''' #CCG语法 # 完成词汇条目及其类别和

python nltk grammar lambda-calculus

回答 1 投票 0

什么是“Eta 扩展？”

我只从eta扩展中找到了一些间接线索简单表达式 ::= 简单表达式1 `_' 如果 𝑒 是方法类型或者 𝑒 是按名称调用参数，则表达式 𝑒 _ 格式良好。如果 𝑒 是

scala terminology lambda-calculus

回答 1 投票 0

J 运算符是什么？它与 call/cc 相同吗？

我在研究ISWIM时听说过“J算子”或“节目点算子”。我想知道它是什么。维基百科的文章非常模糊：在比较...

lambda-calculus callcc

回答 1 投票 0

在数据框上执行 purrr 式 lambda 公式列表

以下玩具数据有5个变量，X1到X5。设置.种子(123) df <- data.frame(matrix(rnorm(500), 100, 5)) I want to perform specific operations on specific variables, using a named list of p...

r list purrr rlang lambda-calculus

回答 1 投票 0

为什么这个 $vau 演算片段会导致无限循环？

不知道这个网站上是否有人碰巧知道 $vau 演算，但无论如何，由于某种原因，这个片段会导致无限循环，我不确定这是否是由于我使用的 $vau 实现造成的。 ..

lambda-calculus

回答 1 投票 0

C 中的 lambda 演算：布尔值和 NOT 运算符

我想以不同的编程语言实现布尔值和 NOT 运算符的 lambda 演算构造。这些都是：真 = lx.ly。 x 假 = lx.ly。 y 不 = lx。 x...

c lambda-calculus

回答 1 投票 0

lambda 演算中的加法证明

不明白add(m, n) = m + n证明中的这个转变：(λmn.λsz.m, s, (n, s, z)) = (λs.λz.sm(z )) , s, (λs.λz.sn(z)) 解释一下转换的逻辑（可能是 b-约简或者...