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 [Book Review]

Bulletin of Symbolic Logic 12 (2):297-299 (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: 91,322

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

REVIEWS-Linear logic in computer science.T. Ehrhard, J. Y. Girard, P. Ruet, P. Scott & Andrzej S. Murawski - 2006 - Bulletin of Symbolic Logic 12 (2):297-298.
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.
Matthew Foreman. A descriptive view of ergodic theory. Descriptive set theory and dynamical systems, edited by M. Foreman, A. S. Kechris, A. Louveau, and B. Weiss, London Mathematical Society lecture note series, no. 277, Cambridge University Press, Cambridge, New York, etc., 2000, pp. 87–171. [REVIEW]Greg Hjorth - 2001 - Bulletin of Symbolic Logic 7 (4):545-546.
A saturation property of structures obtained by forcing with a compact family of random variables.Jan Krajíček - 2013 - Archive for Mathematical Logic 52 (1-2):19-28.
Linear logic in computer science.Thomas Ehrhard (ed.) - 2004 - New York: Cambridge University Press.
Advances in linear logic.Jean-Yves Girard, Yves Lafont & Laurent Regnier (eds.) - 1995 - New York, NY, USA: Cambridge University Press.
Essay Review.Howard H. Harriott - 1996 - History and Philosophy of Logic 17 (1-2):223-240.
Back to the texts.Stuart Brown - 1998 - British Journal for the History of Philosophy 6 (2):269 – 273.

Analytics

Added to PP
2014-03-18

Downloads
14 (#961,492)

6 months
3 (#1,023,809)

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