@inproceedings{HerbelinZimmermann09,
  author      = {Hugo Herbelin and St\'ephane Zimmermann},
  title       = {An Operational Account of Call-By-Value Minimal and
                 Classical $\lambda$-calculus in ``Natural Deduction'' Form},
  booktitle   = {Ninth International Conference, TLCA '07, Brasilia, Brazil.
                 July 2009, Proceedings},
  editor      = {Pierre-Louis Curien},
  pages       = {142--156},
  publisher   = {Springer},
  series      = {Lecture Notes in Computer Science},
  volume      = {5608},
  year        = {2009},
}