archives of messages

• To: types@theory.LCS.MIT.EDU, concurrency@theory.LCS.MIT.EDU, logic@theory.LCS.MIT.EDU
• Subject: archives of messages
• From: meyer@theory.LCS.MIT.EDU
• Date: Fri, 27 Jan 89 18:08:58 EST

My machine on internet
			     theory.lcs.mit.edu

now supports anonymous login, so I have made available for ftp'ing recent
archives of the TYPES, CONCURRENCY, and LOGIC (in Computer Science) messages
of the past six or eight months.  They are in EMACS RMAIL format and will
updated and available from now on.

They can be found in the directory
			      /u/ftp/pub/meyer

Yours truly,
Prof. Albert R. Meyer
MIT Lab. for Computer Science
Moderator, TYPES@theory.lcs.mit.edu, CONCURRENCY@theory.lcs.mit.edu,
	LOGIC@theory.lcs.mit.edu 

• Prev: Feasible Mathematics Workshop
• Next: archives of messages
• Index(es):
  • Main
  • Thread