Path: utzoo!censor!geac!torsqnt!news-server.csri.toronto.edu!cs.utexas.edu!yale!quasi-eli!cs.yale.edu!newsbase!duchier
From: duchier@cs.yale.edu (Denys Duchier)
Newsgroups: comp.theory
Subject: Re: Wanted: Intro to Linear Logic
Message-ID: <DUCHIER.90Dec7125934@albania.cs.yale.edu>
Date: 7 Dec 90 17:59:34 GMT
References: <4053@cui.unige.ch>
Sender: news@cs.yale.edu
Reply-To: duchier-denys@cs.yale.edu
Organization: Computer Science, Yale University, New Haven, CT 06520-2158
Lines: 41
Nntp-Posting-Host: albania.ai.cs.yale.edu
In-reply-to: oscar@cui.unige.ch's message of 6 Dec 90 11:51:28 GMT

In article <4053@cui.unige.ch> oscar@cui.unige.ch (Oscar Nierstrasz) writes:
 > 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?

On my desk, at this time:

"What is Linear Logic?" Appendix B, in:

	Proofs and Types
	Jean-Yves Girard and Yves Lafont and Paul Taylor
	Cambridge Tracts in Theoretical Computer Science 7
	Cambridge University Press, 1989

It also refers the reader to:

	Linear Logic and Lazy Computation
	J.Y. Girard and Y. Lafont
	TAPSOFT 87, vol 2, LNCS 250
	Springer-Verlag

	Logiques, Categories et machines
	Y. Lafont
	These de doctorat
	University Paris VII, 1988

	The Linear Abstract Machine
	Y. Lafont
	TCS (to appear)

--Denys