You need to sign in or sign up before continuing.
Take a photo of a barcode or cover
400 pages • missing pub info (view editions)
ISBN/UID: 9780521559614
Format: Paperback
Language: English
Publisher: Cambridge University Press
Edition Pub 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 (view editions)
ISBN/UID: 9780521559614
Format: Paperback
Language: English
Publisher: Cambridge University Press
Edition Pub 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