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.
The unsung de finetti’s first paper about exchangeability.Rendiconti di Matematica e delle sue applicazioni, 28:1–17, 2008
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2026 1verdicts
UNVERDICTED 1representative citing papers
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.