On Storage Operators

Details On Storage Operators On Storage Operators

2009-05-07

arxiv.org/abs/0905.1099v1

25 Years of Constructive Type Theory, Venice : Italie (1995)

Mathematics

Logic

Scientific paper

In 1990 Krivine introduced the notion of storage operators. They are $\lambda$-terms which simulate call-by-value in the call-by-name strategy. Krivine has shown that there is a very simple type in the AF2 type system for storage operators using G\"odel translation from classical to intuitionistic logic. Parigot and Krivine 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.

Affiliated with

Also associated with

No associations

Rating

On Storage Operators does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with On Storage Operators, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On Storage Operators will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-456140