Full Completeness of the Multiplicative Linear Logic of Chu Spaces - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Harish Devarajan' in GoogleThis author has not been identified. Look up 'Dominic J. D. Hughes' in GoogleIdentified as Gordon D. Plotkin This author has not been identified. Look up 'Vaughan R. Pratt' in Google

runs on WebDSL