S存储算子
逻辑
2009-05-07 v1
摘要
1990年，J.L. Krivine引入了存储算子的概念，用于在“按名调用”策略的上下文中模拟Church整数的“按值调用”。在本文中，我们针对每个实现Church整数后继函数的λ项S，定义了S存储算子的概念。我们证明了每个存储算子都是S存储算子，但反之并不总是成立。
引用
@article{arxiv.0905.0770,
title = {S-storage operators},
author = {Karim Nour},
journal= {arXiv preprint arXiv:0905.0770},
year = {2009}
}