[Haskell-cafe] linear logic

[Luke Palmer]

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.

Luke

> Cheers, Nick
>
> On 02/22/2011 09:13 PM, Vasili I. Galchin wrote:
>>
>> Hello,
>>
>>        What is the category that is used to interpret linear logic in
>> a categorical logic sense?
>>
>> Thank you,
>>
>>
>> Vasili
>>
>> _______________________________________________
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
>> http://www.haskell.org/mailman/listinfo/haskell-cafe
>>
>
>
> _______________________________________________
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
> http://www.haskell.org/mailman/listinfo/haskell-cafe
>