Chu Spaces as a Semantic Bridge Between Linear Logic and Mathematics (1998)

Cached

Download Links

by Vaughan Pratt
Venue:Theoretical Computer Science
Citations:12 - 2 self