The Collection of
Computer Science Bibliographies
Up: Bibliographies on Programming Languages, Type Theory and Compiler Technology Collection Home

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

[   About   |  Browse   |   Statistics   ]

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

Search the bibliography

Help on: [ Syntax | Options | Compression of results | Improving your query | Query examples ]
Boolean operators:and and or. Use () to group subexpressions.
Query:
Options:      
Results:       compress results (in case of low bandwidth)
Return a maximum of references.

Information on the Bibliography

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

Browsing the bibliography

Bibliographic Statistics

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:

Distribution of publication dates

Please direct comments regarding the bibliography collection to <liinwwwa@ira.uka.de>.

This page is part of the Computer Science Bibliography Collection.
Copyright © 1994-2004, Alf-Christian Achilles. All Rights Reserved.