Similar Items: A strong call-by-need calculus
- Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq
- A Strong Bisimulation for a Classical Term Calculus
- 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
- Preservation of Strong Normalisation modulo permutations for the structural lambda-calculus