Xref: utzoo sci.math:17481 sci.logic:1279 comp.theory:1997
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!crdgw1!uakari.primate.wisc.edu!caen!sol.ctr.columbia.edu!ira.uka.de!fauern!forwiss.uni-passau.de!hal!mueck
From: mueck@hal.fmi.uni-passau.de (Andreas Mueck)
Newsgroups: sci.math,sci.logic,comp.theory
Subject: Re: Linear Logic
Keywords: Linear Logic
Message-ID: <1991May17.082838.3274@forwiss.uni-passau.de>
Date: 17 May 91 08:28:38 GMT
References: <3023@puck.sw.mcc.com> <1991May16.232218.8032@newshost.anu.edu.au>
Sender: usenet@forwiss.uni-passau.de (USENET News System)
Organization: University of Passau, Germany
Lines: 15
Nntp-Posting-Host: hal.fmi.uni-passau.de

In article <1991May16.232218.8032@newshost.anu.edu.au> gar@earth.anu.edu.au (Greg Restall) writes:
>In article <3023@puck.sw.mcc.com> meredith@puck.sw.mcc.com (LG Meredith) writes:
>* 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.
>
There is a good paper of Samson Abramsky named "Computational Interpretation
of Linear Logic" (Imperial College Research Report DOC 90/20). It gives a good
intro to Intuitionistic LL as well as to Classical LL.

Andy Mueck, University of Passau, P.O. Box 2540, D-8390 Passau, FRG
mueck@unipas.fmi.uni-passau.de

   ..... god save the Rolling Stones