Scan barcode
392 pages • missing pub info (editions)
ISBN/UID: 9780521608572
Format: Paperback
Language: English
Publisher: Cambridge University Press
Publication date: 15 November 2004
Description
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 introductio...
Community Reviews
Content Warnings
392 pages • missing pub info (editions)
ISBN/UID: 9780521608572
Format: Paperback
Language: English
Publisher: Cambridge University Press
Publication date: 15 November 2004
Description
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 introductio...
Community Reviews
Content Warnings