3810463
9780521559614
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 well as the expert.Girard, Jean-Yves is the author of 'Advances in Linear Logic', published 0012 under ISBN 9780521559614 and ISBN 0521559618.
[read more]