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

Cached

Download Links

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