@inproceedings{paper75,
  author = "S. Abramsky and M. Lenisa",
  booktitle = "Annals of Pure and Applied Logic",
  pages = "122-168",
  title = "Linear realizability and full completeness for typed lambda-calculi",
  volume = "134",
  year = "2005",
}