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]
No references recorded for this publication.
No citations of this publication recorded.