Proceedings on Logical Frameworks: available online

• To: types, logic
• Subject: Proceedings on Logical Frameworks: available online
• From: dmjones@theory.lcs.mit.edu (David M. Jones)
• Date: Fri, 27 Jul 90 17:02:49 EDT
• Sender: meyer@theory.lcs.mit.edu

(In response to a suggestion from Mitch Wand re Huet's announcement of
20 Jul 90--TYPES MODERATOR)

> Workshop on Logical Frameworks : Proceedings available
>
> The Proceedings of the ESPRIT Basic Research Action ``Logical Frameworks''
> First Annual Workshop, held in Sophia-Antipolis May 7-11 1990
> are now freely available by anonymous ftp. 
>
> This 500-pages volume contains 31 contributions, most of them original
> research articles.

This is also now available via anonymous ftp from theory.lcs.mit.edu
(internet address 18.52.0.92) in the directory pub/lf.  Log in with
the username "anonymous."

This directory also contains a file called "contents.txt," which
contains the contents of the volume in ascii format.

Thanks are due to David Wald for his efforts in making this available.

David M. Jones
MIT Lab for Computer Science
Administrator, {types,logic,concurrency}@theory.lcs.mit.edu

• Prev: Proceedings on Logical Frameworks: available online
• Next: commutative diagrams formatting package
• Index(es):
  • Main
  • Thread