Learn More
We present a category of locally convex topological vector spaces which is a model of propo-sitional classical linear logic, based on the standard concept of Köthe sequence spaces. In this setting, the " of course " connective of linear logic has a quite simple structure of commutative Hopf algebra. The co-Kleisli category of this linear category is a(More)