Advances in Linear Logic

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.

Author: Jean-Yves Girard
Publisher: Cambridge University Press
Published: 06/22/1995
Pages: 400
Binding Type: Paperback
Weight: 1.25lbs
Size: 8.99h x 6.13w x 0.88d
ISBN: 9780521559614

This title is not returnable