Update of [AL0102S2]
I have updated the home page on logical frameworks. The update consists of 27 new references and 7 new personal home pages, brought to my attention since October 1994.
To see only the new information you may consult . Corrections, ftp addresses of papers, and further additions would be most welcome.
Frank Pfenning
Department of Computer Science, Carnegie Mellon University
Pittsburgh, PA 15213-3891, U.S.A.
Phone: +1 412 268-6343, Fax: +1 412 268-5576 InterNet: fp@cs.cmu.edu
- Web