Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt. Full Completeness of the Multiplicative Linear Logic of Chu Spaces. In Proceedings, 14th Annual IEEE Symposium on Logic in Computer Science, 2-5 July, 1999, Trento, Italy. pages 234-242, IEEE Computer Society, 1999. [doi]
Abstract is missing.