[Haskell-cafe] linear logic
lrpalmer at gmail.com
Wed Feb 23 01:18:35 CET 2011
On Tue, Feb 22, 2011 at 4:23 PM, Nick Rudnick <joerg.rudnick at t-online.de> wrote:
> Hi Vasili,
> not understanding clearly «in a categorical logic sense» -- but I can be
> sure you already checked out coherent spaces, which might be regarded as
> underlying Girard's original works in this sense?? I have a faint idea about
> improvements, but I don't have them present at the moment.
> Curiously -- is it allowed to ask about the motivation?
Insofar as "I'm curious" is allowed as a legitimate response, yes.
> Cheers, Nick
> On 02/22/2011 09:13 PM, Vasili I. Galchin wrote:
>> What is the category that is used to interpret linear logic in
>> a categorical logic sense?
>> Thank you,
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe