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
Enlarge cover
Rate this book
Clear rating
Open Preview

Linear Logic in Computer Science

by
4.0 of 5 stars 4.00  ·  rating details  ·  1 rating  ·  0 reviews
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
more details... edit details

Friend Reviews

To see what your friends thought of this book, please sign up.

Reader Q&A

To ask other readers questions about Linear Logic in Computer Science, please sign up.

Be the first to ask a question about Linear Logic in Computer Science

This book is not yet featured on Listopia. Add this book to your favorite list »

Community Reviews

(showing 1-7 of 7)
filter  |  sort: default (?)  |  rating details
Pedro Carvalho
Pedro Carvalho marked it as to-read
Aug 17, 2013
Joshua Goller
Joshua Goller marked it as to-read
Aug 17, 2013
Mark Gomer
Mark Gomer marked it as to-read
Aug 16, 2013
Ab
Ab added it
Oct 14, 2012
David Scarratt
David Scarratt marked it as to-read
Mar 03, 2012
There are no discussion topics on this book yet. Be the first to start one »

Share This Book