Advances in Linear Logic |
|
Editor:
| Girard, Jean-Yves Lafont, Yves Regnier, Laurent |
Series title: | London Mathematical Society Lecture Note Ser. |
ISBN: | 978-0-511-62915-0 |
Publication Date: | Feb 2010 |
Publisher: | Cambridge University Press
|
Book Format: | Digital download and online |
List Price: | AUD $200.00 |
Book Description:
|
Based to a large extent on the Linear Logic Workshop held at Cornell, in June 1993, this volume aims to give an overview of linear logic that will be useful to mathematicians and computer scientists working in this area. The book is in five parts: categories and semantics; complexity and expressivity; proof theory; proof nets; and geometry of interaction. The whole book begins with a general introduction on linear logic which should ensure that this book can be used by the novice as...
More DescriptionBased to a large extent on the Linear Logic Workshop held at Cornell, in June 1993, this volume aims to give an overview of linear logic that will be useful to mathematicians and computer scientists working in this area. The book is in five parts: categories and semantics; complexity and expressivity; proof theory; proof nets; and geometry of interaction. The whole book begins with a general introduction on linear logic which should ensure that this book can be used by the novice as well as the expert.