Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222) - Softcover

Book 191 of 387: London Mathematical Society Lecture Notes
 
9780521559614: Advances in Linear Logic (London Mathematical Society Lecture Note Series, Series Number 222)

Synopsis

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.

"synopsis" may belong to another edition of this title.

Book Description

Including a general introduction to linear logic that will ensure its use by the novice as well as the expert, this volume is divided into five parts: category theory; complexity and expressivity; proof theory; proof nets and the geometry of interaction.

"About this title" may belong to another edition of this title.