The Collection of
Computer Science Bibliographies

Bibliography on Logical Frameworks

[   About   |  Browse   |   Statistics   ]

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

Information on the Bibliography

Frank Pfenning <fp @ cs . cmu . edu> (email mangled to prevent spamming)
Department of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213-3891
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.
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

Browsing the bibliography

Bibliographic Statistics

inproceedings(246), article(60), techreport(44), phdthesis(35), incollection(28), book(13), unpublished(10), mastersthesis(8), manual(2), proceedings(2), misc(1)
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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!