Wow! eBook
Advances in Linear Logic
Author(s): Jean-Yves Girard (Editor), Yves Lafont (Editor), Laurent Regnier (Editor)
- Publisher: Cambridge University Press
- Publication Date: June 30, 1995
- Edition: 1st
- Language: English
- Print length: 400 pages
- ISBN-10: 0521559618
- ISBN-13: 9780521559614
Book 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 book’s use by the novice as well as the expert. Mathematicians and computer scientists will learn much from this book.
Editorial Reviews
Book Description
This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area.
