23 Feb
2011
23 Feb
'11
3:09 p.m.
Hi Vasili A very comprehensive discussion of the issues surrounding categorical linear logic can be found in the book Categorical Semantics of Linear Logic By Paul-Andre Mellies, which can be found on his website: http://www.pps.jussieu.fr/~mellies/ The book also contains an extensive bibliography. Cheers Rick Blute On 11-02-22 5:54 PM, "Vasili I. Galchin" <vigalchin@gmail.com> wrote:
Hello,
What is the category that is used to interpret linear logic in a categorical logic sense?
Thank you,
Vasili
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]
[For admin and other information see: http://www.mta.ca/~cat-dist/ ]