@inproceedings{paper31,
  title = "New Foundations for the Geometry of Interaction",
  author = "S. Abramsky and R. Jagadeesan",
  year = "1994",
  booktitle = "Information and Computation, 111(1)",
  pages = "53-119",
}