Scan barcode
400 pages • missing pub info (editions)
ISBN/UID: 9780521559614
Format: Paperback
Language: English
Publisher: Cambridge University Press
Publication date: 22 June 1995
Description
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 bo...
Community Reviews
Content Warnings
400 pages • missing pub info (editions)
ISBN/UID: 9780521559614
Format: Paperback
Language: English
Publisher: Cambridge University Press
Publication date: 22 June 1995
Description
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 bo...
Community Reviews
Content Warnings