@inproceedings{paper64,
  author = "S. Abramsky and E. Haghverdi and P. Scott",
  booktitle = "Mathematical Structures in Computer Science",
  pages = "625-665",
  title = "Geometry of Interaction and linear combinatory algebras",
  volume = "12",
  year = "2002",
}