Hugo Herbelin, Stéphane Zimmermann. An Operational Account of Call-By-Value Minimal and Classical $\lambda$-calculus in ''Natural Deduction'' Form.
TLCA 2009 - 9th International Conference on Typed Lambda-Calculi and Applications, Mauricio Ayala Rincón, Jul 2009, Brasilia, Brazil. pp.142-156,
⟨10.1007/978-3-642-02273-9_12⟩.
⟨inria-00389903⟩