Full Completeness of the Multiplicative Linear Logic of Chu Spaces.

Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt

Browse the full LICS paper archive.