The Collection of
Computer Science Bibliographies

Bibliography containing references to (categorical) logic in computer science and type theory

[   About   |  Browse   |   Statistics   ]

Number of references:449Last update:August 26, 1997
Number of online publications:61Supported:no
Most recent reference:January 1994

Information on the Bibliography

John Reynolds <jcr @ cs . cmu . edu> (email mangled to prevent spamming)

Browsing the bibliography

Bibliographic Statistics

inproceedings(155), article(124), book(59), techreport(40), incollection(28), unpublished(26), phdthesis(16), proceedings(1)
title(449), year(445), author(442), checked(428), pages(376), volume(204), booktitle(183), month(175), address(174), publisher(171), dates(156), place(153), number(147), journal(124), editor(107), series(91), callno(85), comments(75), type(74), isbn(62), booksubtitle(48), department(42), institution(42), note(34), entered(21), updated(18), organization(17), school(16), subtitle(10), comment(7), edition(3)
Distribution of publication dates:
Distribution of publication dates

Valid XHTML 1.1!  Valid CSS!