Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!hp4nl!ruuinf!verwer
From: verwer@ruuinf.cs.ruu.nl (Nico Verwer)
Newsgroups: comp.theory
Subject: Re: Wanted: Intro to Linear Logic
Message-ID: <4475@ruuinf.cs.ruu.nl>
Date: 7 Dec 90 12:40:50 GMT
References: <4053@cui.unige.ch>
Organization: Utrecht University, Dept. of CS
Lines: 35

In article <4053@cui.unige.ch> oscar@cui.unige.ch (Oscar Nierstrasz) writes:

>I am looking for a good introduction to Linear Logic.

I also found the paper by Girard in TCS hard to read as an introduction.
An article on LL which made me understand what it's all about was

"Towards a geometry of interaction"
by Jean-Yves Girard
in "Categories in Computer Science and Logic",
John W. Gray and Andre Scedrov, eds.,
Contemporary Mathematics volume 92, AMS 1989.

This is in the proceedings of a conference held in 1987 in Boulder, but
it appeared in print only last year. You may also want to read

"Linear logic, *-autonomous categories and cofree algebras"
by R.A.G. Seely,

which appears in the same volume.

Other references are:
"Linear logic and parallelism" by J.-Y. Girard in LNCS 280
(Does anyone know if the paper in cooperation with Gianfranco Mascari,
which Girard promises in the abstract has ever actually appeared?),
"Linear logic and lazy computation" by J.-Y. Girard and Y. Lafont in
LNCS 250,
"An algebraic axiomatization of linear logic models" by Narciso
Marti-Oliet and Jose Meseguer, SRI-CSL-89-11, tech. rep. SRI
International.
-- 
Nico Verwer                                       | verwer@cs.ruu.nl
Dept. of Computer Science, University of Utrecht  | phone: +31 30 533921
p.o. box 80.089, 3508 TB Utrecht, The Netherlands | fax:   +31 30 513791
      No military intervention in the Gulf - Stop the war drive!