"Full Completeness of the Multiplicative Linear Logic of Chu Spaces."

Harish Devarajan et al. (1999)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics