[Prev][Next][Index][Thread]

Archives of Types, Logic and Concurrency lists



Archives of the Types, Logic and Concurrency mail lists are now available
via both anonymous ftp and mail server from theory.lcs.mit.edu (18.52.0.92).
The index of files available is included below.

To retrieve a file via ftp, ftp to theory with the account name "anonymous"
and give your email address when asked for a password.  The archive files
are in the directory pub/meyer.

To retrieve files via the mail server, read the instructions included in the
Index below.

Albert R. Meyer
MIT Lab for Computer Science
Moderator, TYPES, LOGIC, and CONCURRENCY mailing lists
---------------------------------------------------------------------------
This file, Index, contains an index for the files available from
theory.lcs.mit.edu in the directory /a/ftp/pub/meyer.  To request one
of these files from the server, send mail to the address
archive-server@theory.lcs.mit.edu with a line of the following form in
the body:

        send meyer filename

For example, to retreive the file logic.babyl, you would say

        send meyer logic.babyl

For more information on the archive-server, send a message containing
only the word "help" in the body.  If you have any trouble using the
archive server, send mail to archive-manager@theory.lcs.mit.edu.

Index               This file.

concurrency-1-5-91  UNIX mail archive of the Concurrency mailing list
                    from March 1988 to January 1991.

concurrency.babyl   GNU emacs BABYL archive of the Concurrency mailing
                    list from January 1991 to the present.

logic-jun-21-91     UNIX mail archive of the Logic mailing list from
                    1988 to June 1991.

logic.babyl         GNU emacs BABYL archive of the Logic mailing list
                    from June 1991 to the present.

trakh70.tex         LaTeX file containing abstracts from talks
                    presented at the International Symposium on
                    Theoretical Computer Science in honor of Boris
                    Trakhtenbrot's 70th birthday.

trakh70.ps          A PostScript version of the Trakhtenbrot abstracts.

types-oct-3-88      UNIX mail archive of the Types mailing list from
                    November 1987 to October 1988.

types-jun-30-89     UNIX mail archive of the Types mailing list from
                    October 1988 to June 1989.

types-dec-12-90     UNIX mail archive of the Types mailing list from
                    June 1989 to December 1990.

types.babyl         GNU emacs BABYL archive of the Types mailing list
                    from June 1991 to the present.

iandc.bib           A BibTeX bibliography file for the journal
                    Information and Computation (formerly Information
                    and Control), covering the period from January
                    1982 to the present.