Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

Strong storage operators and data types

Strong storage operators and data types The storage operators were introduced by J.L. Krivine ([6]); they are closed λ-terms which, for some fixed data type (the integers for example), allow to simulate “call by value” while using “call by name”. J.L. Krivine showed that such operators can be typed, in the[Figure not available: see fulltext.] type system, using Gödel's translation from classical to intuitionistic logic ([8]). http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png Archive for Mathematical Logic Springer Journals

Strong storage operators and data types

Archive for Mathematical Logic , Volume 34 (1) – Feb 21, 2005

Loading next page...
 
/lp/springer-journals/strong-storage-operators-and-data-types-2OSrkAbAfP

References (15)

Publisher
Springer Journals
Copyright
Copyright © 1995 by Springer-Verlag
Subject
Mathematics; Mathematical Logic and Foundations; Mathematics, general; Algebra
ISSN
0933-5846
eISSN
1432-0665
DOI
10.1007/BF01269877
Publisher site
See Article on Publisher Site

Abstract

The storage operators were introduced by J.L. Krivine ([6]); they are closed λ-terms which, for some fixed data type (the integers for example), allow to simulate “call by value” while using “call by name”. J.L. Krivine showed that such operators can be typed, in the[Figure not available: see fulltext.] type system, using Gödel's translation from classical to intuitionistic logic ([8]).

Journal

Archive for Mathematical LogicSpringer Journals

Published: Feb 21, 2005

There are no references for this article.