The Collection of
Computer Science Bibliographies
Bibliography containing references to (categorical) logic in computer science and type theory
[ About | Browse | Statistics ]
| Number of references: | 449 | Last update: | August 26, 1997 |
|---|
| Number of online publications: | 61 | Supported: | no |
|---|
| Most recent reference: | January 1994 |
| |
|---|
- Author:
- John Reynolds <jcr @ cs . cmu . edu> (email mangled to prevent spamming)
- Types:
- inproceedings(155), article(124), book(59),
techreport(40), incollection(28), unpublished(26),
phdthesis(16), proceedings(1)
- Fields:
- 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:
-
