PAPER: Applications of LL to Computation: An Overview

Here's a term paper which may be useful as an introduction.  Please
send any comments directly to me, because I'm not subscribed to the
Linear list.

         Applications of Linear Logic to Computation: An Overview


This paper gives an overview of existing applications of Linear Logic
(LL) to issues of computation. After a substantial introduction to LL,
it discusses the implications of LL to functional programming, logic
programming, concurrent and object-oriented programming and also
mentions some other applications of LL as semantics of negation in LP,
non-monotonic issues in AI planning, etc. Although the overview covers
pretty much the state-of-the-art in the area, by necessity many of the
works are only mentioned and referenced, but not discussed in any
considerable detail. The paper does not presuppose any previous
exposition to LL, and it is addressed more to computer scientists
(probably with a theoretical inclination) than to logicians. The paper
contains one hundred references, of which some sixty are about
applications of LL.

Available by anonymous ftp from
ftp.cs.ualberta.ca: pub/oolog/linear.ps.gz, or
theory.doc.ic.ac.uk: theory/forum/igpl/Bulletin/submissions/linear.ps.gz


Since some people couldn't uncompress .gz and some couldn't print the
.ps file, I added .Z and .dvi files (a picture of a Petri net is
missing in the .dvi file). All the four combinations are available by
anonymous ftp from ftp.cs.ualberta.ca: pub/TechReports/TR93-18/

-rw-r--r--   2 vladimir grad        73125 Dec 30 15:50 TR93-18.dvi.Z
-rw-r--r--   2 vladimir grad        57274 Dec 30 15:50 TR93-18.dvi.gz
-rw-r--r--   2 vladimir grad       125159 Dec 30 15:50 TR93-18.ps.Z
-rw-r--r--   2 vladimir grad        96754 Dec 30 15:50 TR93-18.ps.gz

Vladimir Alexiev (PhD student)   <vladimir@cs.ualberta.ca> 
615 GSB, Dept. Comp. Sci., Univ. Alberta, Edmonton, AB  T6G 2H1, CANADA