6 citations · 15 across the 13 of their papers we have counts for
1 paper · 1 filter
Sergey Slavnov
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 r…