Article contents
On Banach spaces of sequences and free linear logic exponential modality
Published online by Cambridge University Press: 18 December 2017
Abstract
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 rigged sequence 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.
- Type
- Paper
- Information
- Copyright
- Copyright © Cambridge University Press 2017
References
- 1
- Cited by