FTP update

• To: types
• Subject: FTP update
• From: Patrick Lincoln <lincoln@cs.Stanford.EDU>
• Date: Thu, 06 Feb 92 21:01:41 EST
• Sender: meyer@theory.lcs.mit.edu

Date: Thu, 6 Feb 92 13:19:03 -0800
To: linear@cs.stanford.edu

Archives of previous messages to LINEAR are available by
anonymous FTP from THEORY.Stanford.EDU, in directory pub/linear.
For example,

	% ftp theory.stanford.edu
	Name: anonymous
	Password: *use-email-address-as-password*
	cd pub/linear
	bin
	get 03.summary.Z
	quit

pdl.

• Prev: Herbrand methods in Linear Logic (revised)
• Next: Origin of type-labeled lambda abstraction
• Index(es):
  • Main
  • Thread