3 ms·
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.wikipe
by YorkshireSeason 8y ago
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 https://en.wikipedia.org/wiki/Minimax
- adamnemecek 8y agoNow we are talking! Check out the paper "Stochastic Interaction and Linear Logic" by Lincoln, Mitchell, Scedrov
- YorkshireSeason 8y agoAs 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.