Chu Spaces
chu.stanford.eduSite created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.
Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic.