Full Completeness of the Multiplicative Linear Logic of Chu Spaces

Harish Devarajan, Dominic J. D. Hughes, Gordon D. Plotkin, Vaughan R. Pratt. Full Completeness of the Multiplicative Linear Logic of Chu Spaces. In LICS. pages 234-242, 1999. [doi]

Abstract

Abstract is missing.