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