Similar Items: Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus
- Call-by-value Termination in the Untyped lambda-calculus
- Light Logics and the Call-by-Value Lambda Calculus
- Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
- Galois connecting call-by-value and call-by-name
- Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
- Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq