An Operational Account of Call-by-Value Minimal and Classical lambda-Calculus in "Natural Deduction" Form. - Hugo Herbelin; Stéphane Zimmermann (TLCA, 2009)