Some Former(?) Researchers in Logical Frameworks
This contains pointers to various researchers in logical frameworks. These
may have moved, or not longer work in the field. If you have an update, please
let me know!
Further pointers:
Last Updated: Wed Jul 28 1999
Frank Pfenning
fp@cs