Call-by-Value lambda-calculus and LJQ

Roy Dyckhoff, Stéphane Lengrand. Call-by-Value lambda-calculus and LJQ. Journal of Logic and Computation, 17(6):1109-1134, 2007. [doi]

Abstract

Abstract is missing.