Linear Logic in Computer Science

by Paul Ruet

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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0521608570
• ISBN13: 9780521608572
• Release Date: November 2004
• Publisher: Cambridge University Press
• Length: 392 Pages
• Weight: 1.20 lbs.
• Dimensions: 0.8" x 5.9" x 8.8"