Similar Items: 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
- Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus
- A Classical Realizability Model arising from a Stable Model of Untyped Lambda Calculus
- Encoding many-valued logic in $lambda$-calculus
- Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq