On Tue, Feb 22, 2011 at 4:23 PM, Nick Rudnick <[email protected]> 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 >> [email protected] >> http://www.haskell.org/mailman/listinfo/haskell-cafe >> > > > _______________________________________________ > Haskell-Cafe mailing list > [email protected] > http://www.haskell.org/mailman/listinfo/haskell-cafe > _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
