Results 1 -
2 of
2
On Köthe sequence spaces and linear logic
- Mathematical Structures in Computer Science
, 2001
"... 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 ..."
Abstract
-
Cited by 23 (9 self)
- Add to MetaCart
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
Some Calculus With Extensive Quantities: Wave Equation
, 2003
"... We take some first steps in providing a synthetic theory of distributions. In particular, we are interested in the use of distribution theory as foundation, not just as tool, in the study of the wave equation. 1. ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
We take some first steps in providing a synthetic theory of distributions. In particular, we are interested in the use of distribution theory as foundation, not just as tool, in the study of the wave equation. 1.

