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