1. Explicit substitutions;Abadi;J. Funct. Programming,1991
2. The call-by-need lambda calculus;Ariola;J. Funct. Programming,1997
3. A call-by-need lambda calculus;Ariola,1995
4. Correctness of monadic state: An imperative call-by-need calculus;Ariola,1998
5. The Lambda Calculus. Its Syntax and Semantics;Barendregt,1984