Advances in linear logic

Main
Mathematics
Advances in linear logic

Advances in linear logic

Name: Advances in linear logic
ISBN: 9780521559614

Jean-Yves Girard, Yves Lafont, Laurent Regnier

0 / 0

0 comments

How much do you like this book?

What’s the quality of the file?

Download the book for quality assessment

What’s the quality of the downloaded files?

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.

Categories:

Mathematics

Year:

1995

Publisher:

Cambridge University Press

Language:

english

Pages:

397

ISBN 10:

0521559618