Establishes a formal connection between Jacobs-Staton categorical De Finetti theorem and Melliès free exponential in linear logic, instantiated in probabilistic coherence spaces, then characterizes total elements of !Bool.
Categorical semantics of linear logic.Panoramas et syntheses, 27:15–215
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
verdicts
UNVERDICTED 2representative citing papers
Provides a taxonomy of categories for relations by framing them as Kleisli categories of symmetric monoidal monads.
citing papers explorer
-
Interpreting De Finetti's theorem in the Category of Integrable Cones (long version)
Establishes a formal connection between Jacobs-Staton categorical De Finetti theorem and Melliès free exponential in linear logic, instantiated in probabilistic coherence spaces, then characterizes total elements of !Bool.
-
A taxonomy of categories for relations
Provides a taxonomy of categories for relations by framing them as Kleisli categories of symmetric monoidal monads.