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

Article View: fj.mail-lists.types

Article #9

Back to fj.mail-lists.types Previous Next

From: kikuchi
Date: Tue, 21 Jul 1992 19:55

9 lines
577 bytes

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.

Technical Details

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

Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-snd-ss2!akiu!hakata!kyu-cs!lab!nttlab!daemon

Show Full Headers

Complete Article Headers

Path: arc1-ca.pugleaf.net!sparky!uunet!sun-barr!sh.wide!wnoc-snd-ss2!akiu!hakata!kyu-cs!lab!nttlab!daemon
From: kikuchi@cs.titech.ac.jp
Newsgroups: fj.mail-lists.types
Subject: Re: TeX-ed version of Prof. Plotkin's course note Domains now available
Message-ID: <311947@nttlab.ntt.JP>
Date: 21 Jul 92 19:55:41 GMT
Sender: news@nttlab.ntt.JP
Distribution: fj
Lines: 9
Approved: news@nttlab.ntt