From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/6545 Path: news.gmane.org!not-for-mail From: =?ISO-8859-1?Q?Laurent_M=E9hats?= Newsgroups: gmane.science.mathematics.categories Subject: Re: linear logic Date: Wed, 23 Feb 2011 18:43:30 +0100 Message-ID: References: Reply-To: =?ISO-8859-1?Q?Laurent_M=E9hats?= NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable X-Trace: dough.gmane.org 1298557964 20152 80.91.229.12 (24 Feb 2011 14:32:44 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Thu, 24 Feb 2011 14:32:44 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Thu Feb 24 15:32:40 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.114]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1PscFB-0001Sp-IV for gsmc-categories@m.gmane.org; Thu, 24 Feb 2011 15:32:37 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:46137) by smtpx.mta.ca with esmtp (Exim 4.71) (envelope-from ) id 1PscF2-0003rj-3s; Thu, 24 Feb 2011 10:32:28 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1PscEw-0007vI-0n for categories-list@mlist.mta.ca; Thu, 24 Feb 2011 10:32:22 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:6545 Archived-At: Le 22/02/2011 23:54, Vasili I. Galchin a =E9crit : > Hello, >=20 > 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=E9 Melli=E8s' "Categorical Semantics of Linear Logic", available on his webs= ite: http://www.pps.jussieu.fr/~mellies/papers/panorama.pdf Regards, Laurent M=E9hats [For admin and other information see: http://www.mta.ca/~cat-dist/ ]