[Haskell-cafe] linear logic
joerg.rudnick at t-online.de
Wed Feb 23 00:23:00 CET 2011
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?
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
More information about the Haskell-Cafe