WWW

• To: linear@cs.stanford.edu
• Subject: WWW
• From: Pat Lincoln <lincoln@csl.sri.com>
• Date: Wed, 20 Apr 94 10:24:14 -0700
• Approved: types@dcs.gla.ac.uk

I have built a small www server for linear logic:

http://www.csl.sri.com/linear/sri-csl-ll.html

This contains two implementations of a par symbol for TeX, a picture
from last year's workshop, archives of old messages to the linear
mailing list, and pointers to ftp directories containing papers
previously announced on the linear mailing list.  Also reachable
from there in http://www.csl.sri.com/history.html is a picture of
the original mouse (developed at SRI in the 1960's) and other 
items of computing history.

Although ftp is a slower and uglier interface than mosaic,
the linear information is available through anonymous ftp to:
ftp.csl.sri.com in directory /pub/linear.

pdl.

• Prev: Workshop on Logic, Lang., Inform. & Comp.
• Next: Change of address
• Index(es):
  • Main
  • Thread