线性 Lambda 演算 P 时间完全性的新证明
计算机科学中的逻辑
2013-01-15 v1 编程语言
摘要
我们给出了线性 Lambda 演算 P 时间完全性的新证明，该完全性最初由 H. Mairson 于 2003 年给出。我们的证明使用了与 Mairson 所用类型本质上不同的布尔类型。此外，使用 Standard ML 的实现可以对证明的正确性进行机器检查。
引用
@article{arxiv.1301.2763,
title = {A New Proof of P-time Completeness of Linear Lambda Calculus},
author = {Satoshi Matsuoka},
journal= {arXiv preprint arXiv:1301.2763},
year = {2013}
}