Call-by-value λ-calculus and LJQ (2007)

by R Dyckhoff, S Lengrand
Venue:Journal of Logic and Computation