Light Logics and the Call-by-Value Lambda Calculus (Logical Methods in Computer Science, 2008)