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:0Supported:no
Most recent reference:January 1994

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

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!