Similar Items: Light Logics and the Call-by-Value Lambda Calculus
- Call-by-value Termination in the Untyped lambda-calculus
- Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus
- Encoding many-valued logic in $lambda$-calculus
- Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
- Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq
- The Safe Lambda Calculus