Xref: utzoo sci.math:17459 sci.logic:1277 comp.theory:1994
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!zaphod.mps.ohio-state.edu!swrinde!cs.utexas.edu!milano!puck.sw.mcc.com!meredith
From: meredith@puck.sw.mcc.com (LG Meredith)
Newsgroups: sci.math,sci.logic,comp.theory
Subject: Linear Logic
Keywords: Linear Logic
Message-ID: <3023@puck.sw.mcc.com>
Date: 16 May 91 19:05:59 GMT
Organization: MCC Software Technology
Lines: 15

Are there any widely respected introductions to Linear Logic? I'm
simply too stupid to follow Girard's positively Joycean expositions on
the subject. I am, however, interested in its applications to semantics
for OOLs.

--greg

L. Greg Meredith
AMTS
Software Technology Program
Microelectronics and Computer Technology Corp.
3500 West Balcones Research Center Dr.
Austin, TX 78759

disclaimer: _insert clever verbiage here_