A General Type for Storage Operators

Details A General Type for Storage Operators A General Type for Storage Operators

2009-05-05

arxiv.org/abs/0905.0549v1

Mathematical Logic Quarterly 41 (1995) 505-514

Mathematics

Logic

Scientific paper

In 1990, J.L. Krivine introduced the notion of storage operator to simulate, in $\lambda$-calculus, the "call by value" in a context of a "call by name". J.L. Krivine has shown that, using G\"odel translation from classical into intuitionistic logic, we can find a simple type for storage operators in AF2 type system. In this present paper, we give a general type for storage operators in a slight extension of AF2. We give at the end (without proof) a generalization of this result to other types.

Affiliated with

Also associated with

No associations

Rating

A General Type for 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 A General Type for Storage Operators, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A General Type for Storage Operators will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-450428