Advances in Linear Logic - Jean-Yves Girard
-20% with code BOOKS
Shipping in 15-21 days
30-day return policy
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.
You May Also Like
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.
More Information
| Author | Jean-Yves Girard |
|---|---|
| Publisher | Cambridge University Press |
| Release year | 2003 |
| Cover type | Softcover |
| EAN | 9780521559614 |