Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic.
Chu SpacesScience, Math, Logic and Foundations, Nonstandard Logics and Extensions - Chu Spaces. Site created by Vaughan Pratt.
Site created by Vaughan Pratt. Chu spaces provide a rich class of model for linear logic.
Chu Spaces