@inproceedings{Herbelin94,
  author      = {Hugo Herbelin},
  title       = {A Lambda-Calculus Structure Isomorphic to {G}entzen-Style 
                 Sequent Calculus Structure},
  booktitle   = {Computer Science Logic, 8th International Workshop, CSL '94,
                 Kazimierz, Poland, September 25-30, 1994, Selected Papers},
  editor      = {Leszek Pacholski and Jerzy Tiuryn},
  pages       = {61--75},
  publisher   = {Springer},
  series      = {Lecture Notes in Computer Science},
  volume      = {933},
  year        = {1995},
  isbn        = {3-540-60017-5},
}