Advances in Linear Logic (Paperback) (ISBN-13: 9780521559614)

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 book's use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book.

Author: Jean-Yves Girard
ISBN-10: 0521559618
ISBN-13: 9780521559614
Publisher: Cambridge University Press
Language: English
Published: 06/22/1995
Pages: 400
Format: Paperback
Weight: 1.25lbs
Size: 8.99h x 6.13w x 0.88d