• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Advances in Linear Logic

Advances in Linear Logic

Paperback

Series: London Mathematical Society Lecture Note, Book 222

FictionGeneral Science

ISBN10: 0521559618
ISBN13: 9780521559614
Publisher: Cambridge University Press
Published: Jun 22 1995
Pages: 400
Weight: 1.25
Height: 0.88 Width: 6.13 Depth: 8.99
Language: English
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.

Also from

Girard, Jean-Yves

Also in

Fiction