TY - RPRT TI - Linear logic in normed cones: probabilistic coherence spaces and beyond AU - Sergey Slavnov PY - 2019 DO - 10.1017/s0960129521000177 UR - https://arxiv.org/abs/1803.06005 ID - 1803.06005 ER -