Proceedings on Logical Frameworks: available online

• To: logic, types
• Subject: Proceedings on Logical Frameworks: available online
• From: Gerard Huet <huet@margaux.inria.fr>
• Date: Fri, 20 Jul 90 06:37:57 EDT
• Sender: meyer@theory.lcs.mit.edu

Date: Thu, 19 Jul 90 22:19:19 +0200
To: meyer@theory.lcs.mit.edu

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.

Connect by : 
ftp nuri.inria.fr

Name: ftp
Password: anonymous
cd esprit/bra/lf
dir

You will find there a README file, a compressed postscript file book.ps.Z,
and also a book.dvi and associated special ps files screen1.ps and screen2.ps,
if you want to use your own dvips translator.

Electronically publishing yours,
Gerard Huet

• Prev: Call for papers: MFPS91
• Next: Proceedings on Logical Frameworks: available online
• Index(es):
  • Main
  • Thread