Weak topologies for Linear Logic

Marie Kerjean

We construct a denotational model of linear logic, whose objects are all the locally convex and separated topological vector spaces endowed with their weak topology. The negation i…