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

in  ;
Publication year: in:, since:, before: (four digit years)
Options: , ,

You may use Lucene syntax, available fields are: ti (title), au (author), yr (publications year).

Information on the Bibliography

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

Browsing the bibliography

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:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!