I was actually more interested in a reference making an explicit construction of a probability theory using linear logic, or if that's unavailable, then some mo

I was actually more interested in a reference making an explicit construction of a probability theory using linear logic, or if that's unavailable, then some more on the LL -> games -> probability route. Edit: I found this comment [1] by you 29 days ago. Would you mind expanding on the "more connections" you mention? Thanks. [1] https://news.ycombinator.com/item?id=17432612 https://news.ycombinator.com/item?id=17432612