论存储算子
逻辑
2009-05-08 v1
摘要
1990年，Krivine引入了存储算子的概念。存储算子是-项，它们模拟按名调用策略中的按值调用。Krivine已经证明，在AF2类型系统中，利用从经典逻辑到直觉主义逻辑的Gödel翻译，存在一种非常简单的存储算子类型。Parigot和Krivine已经证明，存储算子在经典逻辑中起着重要的工具作用。在本文中，我们对该主题的各种结果进行了综合。
引用
@article{arxiv.0905.1099,
title = {On Storage Operators},
author = {Karim Nour},
journal= {arXiv preprint arXiv:0905.1099},
year = {2009}
}