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.
FREE Two-Day Shipping for students on millions of items. Learn more |
| ||||||||||||
Book Description
Editorial Reviews
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.
Product Details
Would you like to update product info or give feedback on images?
|
Customer Reviews
|
There are no customer reviews yet.
|
|||
|
Video reviews
|
Inside This Book
(learn more)
First Sentence:
I was asked to talk about one precursor of linear logic that I happened to be involved in, even though it anticipated only a small fraction of what goes on in the linear logic enterprise. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
parsing box, correct subgraph, commutative proof net, laminated wirings, hypercoherence whose web, signed monomial, propositional linear logic, only proper cuts, bilinear logic, whose main formula, consecutive formulas, simple sequent, first order linear logic, decoration strategy, sequentialization theorem, unprovable sequent, compatible nodes, full linear logic, incompatible literals, existential border, linear negation, multiplicative linear logic, affine logic, linear sequent calculus, bounded linear logic Key Phrases - Capitalized Phrases (CAPs): (learn more)
Lecture Notes, Université Paris, Jean-Yves Girard, Computer Society Press, Unified Logic, Annals Pure Appl, Laboratoire de Mathématiques Discrètes, Vincent Danos, Cambridge University Press, Journal of Symbolic Logic, Stanford University, Computer System Sciences, Email Message, Los Alamitos, New York, North Holland, Principles of Programming Languages, University of Amsterdam New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
I was asked to talk about one precursor of linear logic that I happened to be involved in, even though it anticipated only a small fraction of what goes on in the linear logic enterprise. Read the first page Key Phrases - Statistically Improbable Phrases (SIPs): (learn more)
parsing box, correct subgraph, commutative proof net, laminated wirings, hypercoherence whose web, signed monomial, propositional linear logic, only proper cuts, bilinear logic, whose main formula, consecutive formulas, simple sequent, first order linear logic, decoration strategy, sequentialization theorem, unprovable sequent, compatible nodes, full linear logic, incompatible literals, existential border, linear negation, multiplicative linear logic, affine logic, linear sequent calculus, bounded linear logic Key Phrases - Capitalized Phrases (CAPs): (learn more)
Lecture Notes, Université Paris, Jean-Yves Girard, Computer Society Press, Unified Logic, Annals Pure Appl, Laboratoire de Mathématiques Discrètes, Vincent Danos, Cambridge University Press, Journal of Symbolic Logic, Stanford University, Computer System Sciences, Email Message, Los Alamitos, New York, North Holland, Principles of Programming Languages, University of Amsterdam New!
Books on Related Topics | Concordance | Text Stats Browse Sample Pages:
Front Cover | Table of Contents | First Pages | Back Cover | Surprise Me!
Citations (learn more)
This book cites 15
books:
See all 15 books this book cites
47
books
cite this book:
See all 47 books citing this book
- Lectures on Linear Logic (Center for the Study of Language and Information - Lecture Notes) by A. S. Troelstra on page 145, page 185, and page 210
- Proofs and Types (Cambridge Tracts in Theoretical Computer Science) by Jean-Yves Girard on page 108, page 224, and page 247
- Computer Science: A Breadth-First Approach with C by John Impagliazzo on page 81
- Computational Complexity by Christos H. Papadimitriou on page 166
- Combinatorial Theory (Wiley Classics Library) by Marshall Hall on page 306
See all 15 books this book cites
- Linear Logic in Computer Science (London Mathematical Society Lecture Note Series) by Thomas Ehrhard on 7 pages
- Logical Aspects of Computational Linguistics: First International Conference, LACL '96, Nancy, France, September 23-25, 1996. Selected Papers (Lecture ... / Lecture Notes in Artificial Intelligence) by Christian Retore on 5 pages
- Substructural Logics: A Primer (Trends in Logic) by F. Paoli in Back Matter (1), Back Matter (2), and Back Matter (3)
- Logic for Concurrency and Synchronisation (Trends in Logic) by R.J. De Queiroz on page 84, page 108, and page 143
- The Optimal Implementation of Functional Programming Languages (Cambridge Tracts in Theoretical Computer Science) by Andrea Asperti in Back Matter (1), Back Matter (2), and Back Matter (3)
See all 47 books citing this book
Books on Related Topics
(learn more)
|
Tags Customers Associate with This Product(What's this?)Click on a tag to find related items, discussions, and people.
|
Sell a Digital Version of This Book in the Kindle Store
If you are a publisher or author and hold the digital rights to a book, you can sell a digital version of it in our Kindle Store.
Learn more
Customer Discussions
|
This product's forum
Active discussions in related forums
Search Customer Discussions
|
Related forums
|
