Нашли опечатку? Выделите ее мышкой и нажмите Ctrl+Enter
Название: Advances in Linear Logic
Авторы: Girard J.-Y., Lafont Y., Regnier L.
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.