another ftp site for Plotkin's course notes on domains

• To: types
• Subject: another ftp site for Plotkin's course notes on domains
• From: "Ralf Treinen" <treinen@dfki.uni-sb.de>
• Date: Mon, 27 Jul 92 09:26:34 EDT
• Sender: meyer@theory.lcs.mit.edu

Date: Sun, 26 Jul 92 16:33:27 +0200
Organization: Universitaet des Saarlandes
              D-W-6600 Saarbruecken, Germany

Gordon Plotkin course notes on domains are now available via ftp from
duck.dfki.uni-sb.de [134.96.188.92] in the directory pub/papers:

PlotkinDomains-a4.dvi.Z		compressed dvi File, DIN A4 format.
PlotkinDomains-a4.ps.Z		compressed postscript File for 300dpi
				printers, DIN A4 format.

Don't forget to use bianry mode for the file transfer.


 Ralf Treinen                         | email: treinen@dfki.uni-sb.de          
 DFKI                                 |
 Stuhlsatzenhausweg 3                 | phone: +49 681 302 5314
 W-6600 Saarbruecken , Germany        | fax:   +49 681 302 5341

• Prev: Re: TeX-ed version of Prof. Plotkin's course note Domains now available
• Next: ftp papers on Constructive Logics
• Index(es):
  • Main
  • Thread