GB
Skip to navigation
Skip to content
Advances in Linear Logic
View larger image

Advances in Linear Logic

  • Edited by: Jean-Yves Girard, Centre National de la Recherche Scientifique (CNRS), Paris
  • Edited by: Yves Lafont, Centre National de la Recherche Scientifique (CNRS), Paris
  • Edited by: Laurent Regnier, Centre National de la Recherche Scientifique (CNRS), Paris
  • Paperback
Series: London Mathematical Society Lecture Note Series(No. 222)
  • ISBN:9780521559614
  • Publication date:June 1995
  • 400pages
      • Dimensions: 228 x 152 mm
      • Weight: 0.59kg
        105.0097805215596140GB0en_USUSD$
      • (Z)
      View other formats:

      This volume gives an overview of linear logic in five parts: category theory; complexity and expressivity; proof theory; proof nets; and the geometry of interaction. The book includes a general introduction to linear logic that will ensure this book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book.

       

      Bookmark with:

      My Cart

      You have  in your cart.

      Subtotal: