|
|
|
|
|
|
by autopoiesis
2885 days ago
|
|
|
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 |
|
|