Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!swrinde!elroy.jpl.nasa.gov!ncar!gatech!bloom-beacon!eru!hagbard!sunic!mcsun!cernvax!chx400!ugun2b!cui!oscar
From: oscar@cui.unige.ch (Oscar Nierstrasz)
Newsgroups: comp.theory
Subject: Wanted: Intro to Linear Logic
Message-ID: <4053@cui.unige.ch>
Date: 6 Dec 90 11:51:28 GMT
Organization: University of Geneva, Switzerland
Lines: 24

I am looking for a good introduction to Linear Logic.
I have the following seminar paper by Girard, but it
is not very gentle as an introduction:

	%A J-Y. Girard
	%T Linear Logic
	%J Theoretical Computer Science
	%V 50
	%I North-Holland
	%D 1987
	%P 1-102

Can anyone provide any good pointers?

Thanks in advance.

Oscar Nierstrasz

---------------------------------------------------------------------
Dr. O.M. Nierstrasz                     E-mail: oscar@cuisun.unige.ch
Centre Universitaire d'Informatique     Tel:    41 (22) 787.65.80
12 rue du Lac, CH-1207 Geneva           Fax:    41 (22) 735.39.05
SWITZERLAND                             Home:   41 (22) 733.95.68
---------------------------------------------------------------------


Brought to you by Super Global Mega Corp .com