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

你有多喜欢这本书？

下载文件的质量如何？

下载该书，以评价其质量

下载文件的质量如何？

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.

种类:

Mathematics

年:

1995

出版社:

Cambridge University Press

语言:

english

页:

397

ISBN 10:

0521559618