Results 1 
3 of
3
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 30 (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 coKleisli 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
CRITICAL SETS OF SOLUTIONS TO ELLIPTIC EQUATIONS
"... P bjDju = 0 that the critical set jruj,1 f0g has locally Let u 6 const satisfy an elliptic equation L0u P aijDiju + with smooth coefficients in a domain in R n. It is shown finite n, 2 dimensional Hausdorff measure. This implies in particular that for a solution u 6 0 of (L 0 + c)u =0,with c 2 C 1 ..."
Abstract

Cited by 29 (2 self)
 Add to MetaCart
P bjDju = 0 that the critical set jruj,1 f0g has locally Let u 6 const satisfy an elliptic equation L0u P aijDiju + with smooth coefficients in a domain in R n. It is shown finite n, 2 dimensional Hausdorff measure. This implies in particular that for a solution u 6 0 of (L 0 + c)u =0,with c 2 C 1, the singular set u,1 f0g \jruj,1 f0g has locally finite n  2 dimensional Hausdorff measure.
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 2 (2 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.