存储算子的一般类型
逻辑
2009-05-06 v1
摘要
1990年，J.L. Krivine引入了存储算子的概念，用于在“按名调用”的上下文中，在λ-演算中模拟“按值调用”。J.L. Krivine已经证明，利用从经典逻辑到直觉主义逻辑的Gödel翻译，我们可以在AF2类型系统中为存储算子找到一个简单类型。在本文中，我们在AF2的一个轻微扩展中给出了存储算子的一般类型。最后，我们（不加证明地）给出了这一结果对其他类型的推广。
引用
@article{arxiv.0905.0549,
title = {A General Type for Storage Operators},
author = {Karim Nour},
journal= {arXiv preprint arXiv:0905.0549},
year = {2009}
}