Complete spaces and Differential Linear Logic

In this paper it is esta- blished that the spaces of linear functionals on dual spaces are dual spaces and that the space of linear functionals on a self-dual space is self-dual and

Banach spaces and dual linear contractions is isomorphic to the category W of Saks spaces having compact unit balls, the isomorphism consisting in adding the

set of linear functionals. isomorphic to their second dual) which gave a closed monoidal category when the hom sets are topologized by pointwise

Here, the reader should keep in mind that the input to the MALL- corr problem is actually a MALL proof structure, of size maybe much larger than the size of the corresponding

L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des

The inhabitation problem for intersection types has been proved to be undecidable, but breaking the idempotency of intersection types makes

Key words: Banach lattice, KB space, direct sum property, product measure and integration, function norm, K¨ othe space, associated space, vector measure, integral representation of

In this paper we consider linear operators between vector spaces with vector norm and we give in particular some results concerning the (v)-continuous operators.. The terminology