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

View PDF

Download Links

by Harish Devarajan , Dominic Hughes , Gordon Plotkin , Vaughan Pratt
Venue:Proc. IEEE Logic in Computer Science 14
Citations:25 - 8 self