[YorkshireSeason]

I'd actually like to see a coherent explanation, e.g. paper reference, of how the Minimax [1] algorithm relates to Girard's linear logic.

[1] https://en.wikipedia.org/wiki/Minimax

[adamnemecek]

Now we are talking! Check out the paper "Stochastic Interaction and Linear Logic" by Lincoln, Mitchell, Scedrov

[YorkshireSeason]

As far as I understand, that paper talks only about MALL, which is a small propositional fragment of LL's, in particular, exponentials are missing. Extending models for small fragments to full LL has always been difficult. Note that the Lincoln et al paper is > 2 decades old. Has anyone extended it to full LL?

Note also that this paper doesn't seem to be talking about Minimax.