Xref: utzoo sci.math:17582 sci.logic:1286 comp.theory:2014
Path: utzoo!utgpu!news-server.csri.toronto.edu!rpi!dali.cs.montana.edu!uakari.primate.wisc.edu!sdd.hp.com!spool.mu.edu!agate!usenet.ins.cwru.edu!gatech!bloom-beacon!eru!hagbard!sunic!dkuug!daimi!cbrown
From: cbrown@daimi.aau.dk (Carolyn Brown)
Newsgroups: sci.math,sci.logic,comp.theory
Subject: Re: Linear Logic
Keywords: Linear Logic
Message-ID: <1991May21.152234.28121@daimi.aau.dk>
Date: 21 May 91 15:22:34 GMT
References: <3023@puck.sw.mcc.com> <1991May16.232218.8032@newshost.anu.edu.au> <1991May17.082838.3274@forwiss.uni-passau.de> <815@rocksanne.WRC.XEROX.COM>
Sender: news@daimi.aau.dk
Reply-To: cbrown@daimi.DK (Carolyn Brown)
Organization: DAIMI: Computer Science Department, Aarhus University, Denmark
Lines: 13

Why all this slagging off of Girard's writing? Sure, I wouldn't start people
on that (and the Scedrov and Lafont papers previously mentioned are
excellent places to start) but Girard has a lot to offer. Rather like
Ulysses (can't speak for Finnegan's Wake, not having read it).

I find new ideas in Girard's original TCS paper at each reading (I have been
working with linlog for about 4 years). Unravelling his hints gives a lot
of insight. I'd rather work hard to read one good paper than have to read 15
simpler papers. (to touch on another thread in this newsgroup). 

So, for those worried about starting to understand linlog, don't be afraid to read Girard, he is extremely good!

Caro