3810463
9780521559614
Advances in Linear Logic
by Girard, Jean-Yves, Lafont, Yves, Regnier, Laurent
About this item
- Condition: New
- Provider: LightningBooks Contact
- Provider Rating: 85%
- Ships From: Multiple Locations
- Shipping: Standard, Expedited (tracking available)
- Comments: Fast shipping! All orders include delivery confirmation.
About this item
- Condition: Good
- Provider: Ergodebooks Contact
- Provider Rating: 82%
- Ships From: Multiple Locations
- Shipping: Standard
- Comments: Excellent customer service. Prompt Customer Service. Buy with confidence.
Product details
- ISBN-13: 9780521559614
- ISBN: 0521559618
- Publication Date: 0012
- Publisher: Cambridge University Press
AUTHOR
SUMMARY
Based to a large extent on the Linear Logic Workshop held at Cornell, in June 1993, this volume aims to give an overview of linear logic that will be useful to mathematicians and computer scientists working in this area. The book is in five parts: categories and semantics; complexity and expressivity; proof theory; proof nets; and geometry of interaction. The whole book begins with a general introduction on linear logic which should ensure that this book can be used by the novice as well as the expert.Girard, Jean-Yves is the author of 'Advances in Linear Logic', published 0012 under ISBN 9780521559614 and ISBN 0521559618.
[read more]
The ValoreBooks Guarantee
With our dedicated customer support team, you can rest easy knowing that we're doing everything we can to save you time, money, and stress.
