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!
  • Jason Brown, Jason.Brown@comlab.ox.ac.uk
  • Lars-Henrik Eriksson, lhe@sics.se
  • Lena Magnusson, lena.magnusson@sophia.inria.fr
  • Spiro Michaylov, spiro@cis.ohio-state.edu
  • Ekkehard Rohwedder, erohwedd@oracle.com
  • Further pointers:

  • Homepage for Logical Frameworks
  • Specific Frameworks and Implementations
  • Bibliography on Logical Frameworks
  • What's New in Logical Frameworks
  • Last Updated: Wed Jul 28 1999
    Frank Pfenning

    fp@cs