We present a category of locally convex topological vector spaces which is a model of propositional classical linear logic, based on the standard concept of Kothe sequence spaces. In this setting, the spaces interpreting the exponential have a quite simple structure of commutative Hopf algebra. The co-Kleisli category of this linear category is a cartesian closed category of entire mappings. This work provides a simple setting where typed -calculus and dierential calculus can be combined; we give a few examples of computations. 1

We describe a construction of fibrewise inner products on the cotangent bundle of the smooth free loop space of a Riemannian manifold. Using this inner product, we construct an operator over the loop space of a string manifold which is directly analogous to the Dirac operator of a spin