REVIEWS-Linear logic in computer science

, , , &
Bulletin of Symbolic Logic 12 (2):297-298 (2006)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1017/s1079898600002754

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,923

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

T. Ehrhard. J.-Y. Girard. P. Ruet. and P. Scott, Linear logic in computer science.Andrzej S. Murawski - 2006 - Bulletin of Symbolic Logic 12 (2):297.
Linear logic in computer science, edited by Ehrhard T., Girard J.-Y., Ruet P., and Scott P., London Mathematical Society Lecture Note Series, 316. Cambridge University Press, 2004, 392 pp. [REVIEW]Andrzej S. Murawski - 2006 - Bulletin of Symbolic Logic 12 (2):297-299.
Linear logic in computer science.Thomas Ehrhard (ed.) - 2004 - New York: Cambridge University Press.
Category theory for linear logicians.Richard Blute & Philip Scott - 2004 - In Thomas Ehrhard (ed.), Linear logic in computer science. New York: Cambridge University Press. pp. 316--3.
Overview of linear logic programming.Dale Miller - 2004 - In Thomas Ehrhard (ed.), Linear logic in computer science. New York: Cambridge University Press. pp. 316--119.
Between logic and quantic: a tract.Jean-Yves Girard - 2004 - In Thomas Ehrhard (ed.), Linear logic in computer science. New York: Cambridge University Press. pp. 316--346.
Advances in linear logic.Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) - 1995 - New York, NY, USA: Cambridge University Press.
The Semantics and Proof Theory of Linear Logic.Arnon Avron - 1988 - Theoretical Computer Science 57 (2):161-184.
A topological correctness criterion for non-commutative logic.Paul-André Mellies - 2004 - In Thomas Ehrhard (ed.), Linear logic in computer science. New York: Cambridge University Press. pp. 283--323.
An analysis of gödel's dialectica interpretation via linear logic.Paulo Oliva - 2008 - Dialectica 62 (2):269–290.
To Saunders Mac Lane on his g0th birthdag.Jim Lambek - 2004 - In Thomas Ehrhard (ed.), Linear logic in computer science. New York: Cambridge University Press. pp. 316--325.
Proof nets and the lambda-calculus.Stefano Guerrini - 2004 - In Thomas Ehrhard (ed.), Linear logic in computer science. New York: Cambridge University Press. pp. 316--65.
CNRS. Universite Paris 7.Paul-Andre Mellies - 2004 - In Thomas Ehrhard (ed.), Linear logic in computer science. New York: Cambridge University Press. pp. 316--283.
The conjoinability relation in Lambek calculus and linear logic.Mati Pentus - 1994 - Journal of Logic, Language and Information 3 (2):121-140.

Analytics

Added to PP
2014-03-18

Downloads
11 (#1,163,565)

6 months
9 (#354,585)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references