Some Researchers in Logical Frameworks

This contains pointers to various researchers in logical frameworks. This information is highly incomplete. Please contribute! Some researchers formerly listed here whom I could not find, or no longer work in the field, are given, can be found in a separate list.

Further pointers:

Last Updated: Wed Jul 28 1999
Frank Pfenning