The Collection of
Computer Science Bibliographies

Bibliography on Logical Frameworks

Number of references:	449	Last update:	December 8, 2000
Number of online publications:	180	Supported:	Unknown
Most recent reference:	2000

Author:: Frank Pfenning <fp @ cs . cmu . edu> (email mangled to prevent spamming)
Department of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213-3891
USA
Abstract:: This is a bibliography on logical frameworks. I am including systems specifically designed as logical frameworks as well as individual experiments carried out in other systems which have a meta-logical character. General purpose theorem provers such as Coq, LEGO, Nqthm, NuPrl and others have been omitted in order to keep my task managable, except for a basic reference or two.
Keywords:: specification of deductive systems, search for derivations within deductive systems, meta-programming of algorithms pertaining to deductive systems, proving meta-theorems about deductive systems.
Author Comments:: This, like any bibliography, is incomplete. Any corrections, updates, comments, suggestion, new entries, new URL's for papers, etc. are very much appreciated.
This bibliography is part of the home page for logical frameworks

Original source:

http://www.cs.cmu.edu... (Format: bibtex)
Other sites:

http://www.cs.cmu.edu... (Format: html)

Types:: inproceedings(246), article(60), techreport(44), phdthesis(35), incollection(28), book(13), unpublished(10), mastersthesis(8), manual(2), proceedings(2), misc(1)
Fields:: title(449), year(449), author(443), keywords(438), month(290), pages(285), booktitle(274), editor(244), publisher(237), address(233), urlps(99), number(77), note(74), volume(70), urldvi(61), journal(60), institution(44), school(43), urlhtml(32), url(15), type(11), series(9), chapter(6), notes(2), organization(2), annote(1), edition(1), editors(1), howpublished(1), optaddress(1)
Distribution of publication dates: