@inproceedings{paper25,
  title = "Computational Interpretations of Linear logic",
  author = "S. Abramsky",
  year = "1993",
  booktitle = "J. Theoretical Computer Science, 111",
  pages = "3-57",
}