Advances In Linear Logic (london Mathematical Society Lecture Note Series)
by Jean-Yves Girard /
1995 / English / PDF
3.4 MB Download
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.
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.
