[Haskell-cafe] linear logic

[Nick Rudnick]

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?

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
>