Re: TeX-ed version of Prof. Plotkin's course note Domains now available

• To: types
• Subject: Re: TeX-ed version of Prof. Plotkin's course note Domains now available
• From: kikuchi@cs.titech.ac.jp
• Date: Tue, 21 Jul 92 14:47:58 EDT
• Sender: meyer@theory.lcs.mit.edu

Date: Wed, 22 Jul 92 02:23:27 JST

Hi there.
Now anonymous ftp is available to get the document.

host: ftp.cs.titech.ac.jp [131.112.172.15]
file: pub/doc/Plotkin.dvi.Z

-- enjoy, Ki.

• Prev: Plotkin course notes available from MIT and some found problems.
• Next: "Domains" available in PostScript format
• Index(es):
  • Main
  • Thread