- Re: Linear logic semantics (Barwise) (353 lines) To: types Subject: Re: Linear logic semantics (Barwise) (353 lines) From: pratt@cs.stanford.edu Date: Tue, 25 Feb 92 09:22:51 EST In-Reply-To: Your message of Thu, 20 Feb 92 14:25:33 -0500. 9202201936.AA05486@Ghoti.Stanford.EDU Sender: meyer@theory.lcs.mit.edu To: linear@cs.stanford.edu Date: 25 Feb 92 00:03:12 PST (Tue) Jon Barwise asked for ...www.cis.upenn.edu/~bcpierce/types/archives/1992/msg00047.html
