Advances in linear logic
Jean-Yves Girard, Yves Lafont, Laurent Regnier
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.
კატეგორია:
წელი:
1995
გამომცემლობა:
Cambridge University Press
ენა:
english
გვერდები:
397
ISBN 10:
0521559618
ISBN 13:
9780521559614
სერია:
London Mathematical Society lecture note series 222
ფაილი:
PDF, 3.36 MB
IPFS:
,
english, 1995