@PhDThesis{HerbelinPhD,
  author      = {Hugo Herbelin},
  title       = {S\'equents qu'on calcule: de
                 l'interpr\'etation du calcul des
                 s\'equents comme calcul de $\lambda$-termes et
                comme calcul de strat\'egies gagnantes},
  school      = {University Paris 7},
  type        = {{Ph.D.} thesis},
  month       = jan,
  year        = 1995
}