𝔖 Bobbio Scriptorium
✦   LIBER   ✦

A General Type for Storage Operators

✍ Scribed by Karim Nour


Publisher
John Wiley and Sons
Year
1995
Tongue
English
Weight
500 KB
Volume
41
Category
Article
ISSN
0044-3050

No coin nor oath required. For personal study only.


πŸ“œ SIMILAR VOLUMES


General King-Type Operators
✍ Heiner Gonska; Paula PiΕ£ul; Ioan Raşa πŸ“‚ Article πŸ“… 2009 πŸ› Springer 🌐 English βš– 386 KB
Storage Operators and βˆ€-positive Types i
✍ Karim Nour πŸ“‚ Article πŸ“… 1996 πŸ› John Wiley and Sons 🌐 English βš– 1013 KB

In 1990, J. L. Krivine introduced the notion of storage operator to simulate "call by value" in the "call by name" strategy. J. L. Krivine has showed that, using Glidel translation of classical into intuitionistic logic, one can find a simple type for the storage operators in AF2 type system. This p