Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus

@article{Maraist1999CallbynameCC,
  title={Call-by-name, Call-by-value, Call-by-need and the Linear lambda Calculus},
  author={J. Maraist and Martin Odersky and D. Turner and P. Wadler},
  journal={Theor. Comput. Sci.},
  year={1999},
  volume={228},
  pages={175-210}
}
Abstract Girard described two translations of intuitionistic logic into linear logic, one where A → B maps to (!A)⊸B and another where it maps to !(A⊸B) . We detail the action of these translations on terms and show that the first corresponds to a call-by-name calculus, while the second corresponds to call-by-value. We further show that if the target of the translation is taken to be an affine calculus, where! controls contraction but weakening is allowed everywhere, then the second translation… Expand
Open Call-by-Value
Separating Weakening and Contraction in a Linear Lambda Calculus
New Semantical Insights Into Call-by-Value λ-Calculus
Intersection Types for the Computational lambda-Calculus
Head reduction and normalization in a call-by-value lambda-calculus
Reasoning About Call-by-need by Means of Types
Call-by-Value Non-determinism in a Linear Logic Type Discipline
Modal Embeddings and Calling Paradigms
Call-By-Push-Value from a Linear Logic Point of View
Call-by-need is clairvoyant call-by-value
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 42 REFERENCES
Call-by-name, call-by-value, call-by-need and the linear lambda calculus
Call-by-Name, Call-by-Value and the lambda-Calculus
  • G. Plotkin
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 1975
A Reflection on Call-by-value a Reeection on Call-by-value
Separating Weakening and Contraction in a Linear Lambda Calculus
Reasoning about programs in continuation-passing style
A call-by-need lambda calculus
Lambda Calculus and Intuitionistic Linear Logic
Cyclic Lambda Calculi
The Girard Translation Extended with Recursion
Computational Interpretations of Linear Logic
  • S. Abramsky
  • Computer Science, Mathematics
  • Theor. Comput. Sci.
  • 1993
...
1
2
3
4
5
...