2005170
9780521608572
Linear Logic In Computer Science
by Ruet, Paul, Ehrhard, Thomas, Girard, Jean-Yves
31245
List Price
Discount
22% Off
You Save
$25.51
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.
Product details
- ISBN-13: 9780521608572
- ISBN: 0521608570
- Publication Date: 2004
- Publisher: Cambridge University Press
AUTHOR
SUMMARY
Linear logic is a branch of proof theory which provides refined tools for the study of computational aspects of proofs. This text illustrates those various aspects, as well as looking at the more specialised applications of linear logic in areas such as computer science.Ruet, Paul is the author of 'Linear Logic In Computer Science', published 2004 under ISBN 9780521608572 and ISBN 0521608570.
[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.
