Re: Cancellative LL

• To: linear@cs.Stanford.EDU
• Subject: Re: Cancellative LL
• From: Jose Meseguer <meseguer@csl.sri.com>
• Date: Tue, 20 Jun 1995 13:37:15 -0700
• Approved: types@dcs.gla.ac.uk

Jean-Marc Andreoli asks,

>Long ago, I ran into a thing called "cancellative Linear Logic" or something
>like that, where the operators "par" and "times" are blurred. Can anyone give
>me pointers about that. Thanks.

The term "cancellative linear logic" was introduced in exactly this sense
in the paper

 N. Marti-Oliet and J. Meseguer "An algebraic axiomatization of linear logic
 models," in G.M. Reed, A.W. Roscoe, and R.F. Wachter, eds., "Topology
 and Category Theory in Computer Science"  Oxford University Press, 1991.

Jose Meseguer

• Prev: Cancellative LL
• Next: plain text ICFP CFP for electronic distribution
• Index(es):
  • Main
  • Thread