Storage operators and directed lambda-calculus

Publisher： Cambridge University Press

E-ISSN： 1943-5886|60|4|1054-1086

ISSN： 0022-4812

Source： The Journal of Symbolic Logic, Vol.60, Iss.4, 1995-12, pp. : 1054-1086

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Storage operators have been introduced by J. L. Krivine in [5] they are closed λ-terms which, for a data type, allow one to simulate a “call by value” while using the “call by name” strategy. In this paper, we introduce the directed λ-calculus and show that it has the usual properties of the ordinary λ-calculus. With this calculus we get an equivalent—and simple—definition of the storage operators that allows to show some of their properties:

Related content

Recursion theory and the lambda-calculus

By  

The Journal of Symbolic Logic, Vol. 47, Iss. 1, 1982-03 ,pp. : 67-83 (17)

Cambridge University Press

Access to resources Recommend Favorite

Categorical semantics for higher order polymorphic lambda calculus

By  

The Journal of Symbolic Logic, Vol. 52, Iss. 4, 1987-12 ,pp. : 969-989 (21)

Cambridge University Press

Access to resources Recommend Favorite

Completeness of transfinite evaluation in an extension of the lambda calculus

By  

The Journal of Symbolic Logic, Vol. 52, Iss. 1, 1987-03 ,pp. : 243-275 (33)

Cambridge University Press

Access to resources Recommend Favorite

The Impact of the Lambda Calculus in Logic and Computer Science

By  

Bulletin of Symbolic Logic, Vol. 3, Iss. 2, 1997-06 ,pp. : 181-215 (35)

Cambridge University Press

Access to resources Recommend Favorite

Weyl Calculus for a Class of Subelliptic Operators

By Maniccia L.  

Annals of Global Analysis and Geometry, Vol. 21, Iss. 3, 2002-05 ,pp. : 303-317 (15)

Springer Publishing Company

Access to resources Recommend Favorite