Similar Items: Simulation in the Call-by-Need Lambda-Calculus with Letrec, Case, Constructors, and Seq
- Semantics of Typed Lambda-Calculus with Constructors
- On Constructor Rewrite Systems and the 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
- Standardization and Conservativity of a Refined Call-by-Value lambda-Calculus