another ftp site for Plotkin's course notes on domains

Article View: fj.mail-lists.types

Article #13

Back to fj.mail-lists.types Previous Next

#13

From: treinen
Date: Mon, 27 Jul 1992 14:31

18 lines
1125 bytes

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

Technical Details

Message-ID: <312560@nttlab.ntt.JP>

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!news.hawaii.edu!sh.wide!wnoc-kyo!kuis!kudpc!nuis!tutgw!lab!nttlab!daemon

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!munnari.oz.au!news.hawaii.edu!sh.wide!wnoc-kyo!kuis!kudpc!nuis!tutgw!lab!nttlab!daemon
From: treinen@dfki.uni-sb.de
Newsgroups: fj.mail-lists.types
Subject: another ftp site for Plotkin's course notes on domains
Message-ID: <312560@nttlab.ntt.JP>
Date: 27 Jul 92 14:31:41 GMT
Sender: daemon@nttlab.ntt.JP
Distribution: fj
Lines: 18
Approved: news@nttlab.ntt