The Collection of
Computer Science Bibliographies
Up: Bibliographies on Theory/Foundations of Computer Science Collection Home

Bibliography on Linear Logic

[   About   |  Browse   |   Statistics   ]

Number of references:470Last update:January 1, 1999
Number of online publications:96Supported:no
Most recent reference:1998

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

Authors:
Carsten Schürmann <carsten @ cs . cmu . edu> (email mangled to prevent spamming)
Iliano Cervesato <iliano @ cs . stanford . edu> (email mangled to prevent spamming)
Frank Pfenning <fp @ cs . cmu . edu> (email mangled to prevent spamming)

Abstract:
Although this bibliography concentrates on linear logic and its applications in computer science, a few related references concerning other substructural logics (such as relevance logic or the Lambek calculus) are included.
Author Comments:
Whenever available, URL links to the referenced papers are provided.

We encourage the individual authors to make their contributions available on the World Wide Web.

This, like any bibliography, is incomplete. Any corrections, updates, comments, suggestion, new entries, new URLs for papers, etc. are very much appreciated. In particular, help us filling the "??".

When compiling this bibliography, we had the chance to access material from Andre Scedrov's and Harold Schellinx and Anne S. Troelstra's linear logic bibliographies, as well as from the DIKU types bibliography. We would like to acknowledge their authors.

Browsing the bibliography

Bibliographic Statistics

Types:
inproceedings(140), article(121), unpublished(82), techreport(55), phdthesis(40), incollection(24), book(4), proceedings(2), booklet(1), mastersthesis(1)
Fields:
author(470), title(470), year(469), pages(258), month(175), booktitle(164), note(159), urlps(155), publisher(134), journal(121), editor(119), volume(118), address(115), number(101), urldvi(74), institution(55), school(42), type(20), series(13), url2(12), url(8), howpublished(2), remark(2), urlnote(2), urlpdf(2), edition(1), isbn(1), mynote(1), urlhtml(1)

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.