Scifaro

中文

为何通常的可归约性候选者不适用于对称 $\lambda\mu$-演算

逻辑 2009-05-12 v1

作者: René David , Karim Nour

在 arXiv 上查看 ↗ PDF ↗

摘要

对称 $\lambda\mu$ -演算是在 Parigot 引入的 $\lambda\mu$ -演算中添加了 $\mu$ 的对称规则 $\mu'$ 而得到的。我们给出一些例子，解释为何使用通常的可归约性候选者的技术不适用。我们还证明了该演算的一个标准化定理。

关键词

对称 λμ-演算可归约性候选者标准化定理 λμ-演算归约规则

引用

@article{arxiv.0905.1554,
  title  = {Why the usual candidates of reducibility do not work for the symmetric $\lambda\mu$-calculus},
  author = {René David and Karim Nour},
  journal= {arXiv preprint arXiv:0905.1554},
  year   = {2009}
}

备注

Second Workshop on Computational Logic and Applications (CLA 2004), France (2004)