Advances in Linear Logic - Jean-Yves Girard
-25% koodilla BOOKS
Toimitus 15-21 arkipäivässä
30 päivän palautusoikeus
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.
Saatat myös pitää
Kuvaus
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.
Lisätietoja
| Kirjoittaja | Jean-Yves Girard |
|---|---|
| Julkaisija | Cambridge University Press |
| Julkaisuvuosi | 2003 |
| Kannen tyyppi | Pehmeäkantinen |
| EAN | 9780521559614 |