The Collection of
Computer Science Bibliographies
Categorical Logic In Computer Science Bibliography
[ About | Browse | Statistics ]
| Number of references: | 2272 | Last update: | December 11, 1998 |
|---|
| Number of online publications: | 152 | Supported: | no |
|---|
| Most recent reference: | September 1998 |
| |
|---|
- Author:
- Ian Mackie <mackie @ lix . polytechnique . fr> (email mangled to prevent spamming)
Laboratoire d'Informatique
Ecole Polytechnique
91128 Palaiseau Cedex
France
- Keywords:
-
theoretical computer science, category theory
- Original source:
- Used to be available at
ftp://theory.doc.ic.ac.uk/theory/bibliography/
but has disappeared.
- Local copy in BibTeX format (222 KB, compressed with gzip)
- Types:
- article(620), inproceedings(587), book(372),
incollection(196), techreport(163), unpublished(130),
phdthesis(86), misc(39), proceedings(35),
mastersthesis(12), collection(8), conference(8),
booklet(4), inbook(3), lecture(2), manual(2),
patent(2), radiobroadcast(2), monograph(1)
- Fields:
- title(2227), author(2194), year(2153), pages(1240),
publisher(845), volume(839), booktitle(819),
journal(608), editor(410), note(409), series(355),
number(349), month(322), annote(250), address(240),
organization(175), institution(170), camlib(141),
subject(134), city(128), authors(122), school(98),
type(92), size(89), isbn(82), abstract(78),
checked(71), review(69), xref(52), url(34), issn(33),
place(32), coden(31), dates(24), qmwlib(24),
dvi-url(22), libcongress(22), crossref(21),
crossrefonly(21), comment(19), seriestitle(19),
camul(18), keywords(18), howpublished(17),
location(17), callno(14), editors(13), entered(12),
comments(11), conferenceat(11), libcong(11),
amssubj(10), bibdate(10), iclib(9), department(8),
references(8), booksubtitle(7), key(7), edition(6),
chapter(5), issue(5), lib-congress(5), libcongr(5),
ps-url(5), conferencedate(4), acknowledgement(3),
organisation(3), page(3), publishedby(3), remarks(3),
affiliation(2), ams-subj(2), classification(2),
collection(2), confdate(2), conference(2),
conflocation(2), confsponsor(2), file(2),
ftpaddress(2), heldat(2), heldyear(2), http-url(2),
language(2), lccn(2), optnote(2), pubcountry(2),
publisheraddress(2), reportfilename(2), sjb(2),
thesaurus(2), uniformtitle(2), vol(2), annotation(1),
begun(1), book(1), conferenceyear(1), contents(1),
fullauthor(1), in(1), latex-url(1), lib-congr(1),
library(1), node(1), notee(1), notes(1), oldkey(1),
publihser(1), reprinted(1), sizxe(1), society(1),
subtitle(1), updated(1), volumen(1)
- Distribution of publication dates:
-
