@inproceedings{Her06,
  author      = {Hugo Herbelin},
  title       = {The duality of computation (invited talk)},
  booktitle   = {HOR 2006: Third International Workshop on Higher-Order 
                 Rewriting (RTA '06 workshop), proceedings},
  editors     = {D. Kesner, F. van Raamsdonk, M.-O. Stehr},
  year        = {2006},
  month       = Aug,
  note        = {available electronically at 
                 \url{http://hor.pps.jussieu.fr/06}}
}