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

Thread View: fj.mail-lists.types

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by kikuchi Tue, 21 Jul 1992 19:55

Author: 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.

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads