23 Feb
2011
23 Feb
'11
5:43 p.m.
Le 22/02/2011 23:54, Vasili I. Galchin a écrit :
Hello,
What is the category that is used to interpret linear logic in a categorical logic sense?
Hello, You may find satisfying answers (there is not only one) in Paul-André Melliès' "Categorical Semantics of Linear Logic", available on his website: http://www.pps.jussieu.fr/~mellies/papers/panorama.pdf Regards, Laurent Méhats [For admin and other information see: http://www.mta.ca/~cat-dist/ ]