Bibliography on Logical Frameworks

[   About   |  Browse   |   Statistics   ]

Number of references:	449	Last update:	August 6, 1999
Number of online publications:	168	Supported:	Unknown
Most recent reference:	2000

Information on the Bibliography

Author:

Frank Pfenning <fp@cs.cmu.edu>
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

Browsing the bibliography

• Original source:

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

  Other sites:

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

Bibliographic Statistics

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:

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>. This page is part of the Computer Science Bibliography Collection. Copyright © 1994-1999, Alf-Christian Achilles <achilles@ira.uka.de>. All Rights Reserved.