Can I read On Banach spaces of sequences and free linear logic exponential modality on EtoBox?

On Banach spaces of sequences and free linear logic exponential modality by Slavnov, Sergey is a scholarly article available to read on EtoBox.

What is On Banach spaces of sequences and free linear logic exponential modality about?

We introduce a category of vector spaces modelling full propositional linear logic, similar to probabilistic coherence spaces and to Koethe sequences spaces. Its objects are {\it rigged sequences spaces}, Banach spaces of sequences, with norms defined from pairing with finite sequences, and morphisms are bounded linear maps, continuous in a suitable topology. The main interest of the work is that our model gives a realization of the free linear logic exponentials construction.

Author

Slavnov, Sergey

Published

2015

Language

EN