@InProceedings{DHPP99,
  author = {H.~Devarajan, D.J.D.~Hughes, G.D.~Plotkin, and V.R.~Pratt},
  title = {Full completeness of the multiplicative linear logic of Chu spaces},
  booktitle = {Logic in Computer Science},
  year = {1999},
  organization = {IEEE}
}