Goodreads helps you keep track of books you want to read.
Start by marking “Linear Logic in Computer Science” as Want to Read:
Linear Logic in Computer Science
Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are ...more
Paperback, 392 pages
Published November 15th 2004 by Cambridge University Press
To see what your friends thought of this book, please sign up.