Full completeness of the multiplicative linear logic of Chu spaces

{
  "doi": null,
  "year": 1999,
  "title": "Full completeness of the multiplicative linear logic of Chu spaces",
  "venue": "Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science",
  "authors": [
    "H. Devarajan",
    "D. Hughes",
    "G. Plotkin",
    "V. Pratt"
  ],
  "arxiv_id": null,
  "s2_paper_id": null,
  "ingest_status": "referenced-only"
}