On Storage Operators
by
Karim Nour
BibTeX
@MISC{Nour_onstorage,
author = {Karim Nour},
title = {On Storage Operators},
year = {}
}
OpenURL
Abstract
In 1990 Krivine (1990b) introduced the notion of storage operators. They are λ-terms which simulate call-by-value in the call-by-name strategy. Krivine (1990b) has shown that there is a very simple type in the AF 2 type system for storage operators using Gődel translation from classical to intuitionistic logic. Parigot (1993a) and Krivine (1994) have shown that storage operators play an important tool in classical logic. In this paper, we present a synthesis of various results on this subject.







