Full completeness of the multiplicative linear logic of chu spaces (1999)

by H Devarajan, Dominic Hughes, Gordon Plotkin, Vaughan R Pratt
Venue:In 14th IEEE Symposium on Logic in Computer Science (LICS