@inproceedings{Herbelin97,
  author      = {Hugo Herbelin},
  title       = {Games and Weak-Head Reduction for Classical {PCF}},
  booktitle   = {Third International Conference
                 on Typed Lambda Calculi and Applications, TLCA '97,
                 Nancy, France, April 2-4, 1997, Proceedings},
  editor      = {Philippe de Groote and J. Roger Hindley},
  pages       = {214--230},
  publisher   = {Springer},
  series      = {Lecture Notes in Computer Science},
  volume      = {1210},
  year        = {1997},
  isbn        = {3-540-62688-3},
}