无类型栈演算与玻姆定理
The untyped stack calculus and Bohm's theorem
摘要：
栈演算是一种函数式语言，它与经典逻辑具有Curry-Howard对应关系。它享有汇合，但以及帕里戈的fromda-mu，不承认玻姆定理，典型的fromda-calculus。我们提出了一个简单的扩展堆栈演算这是堆栈演算Saurin的λ-μ是λ-μ。
英文摘要：
The stack calculus is a functional language in which is in a Curry-Howard correspondence with classical logic. It enjoys confluence but, as well as Parigot's lambda-mu, does not admit the Bohm Theorem, typical of the lambda-calculus. We present a simple extension of stack calculus which is for the stack calculus what Saurin's Lambda-mu is for lambda-mu.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
