Advances in Linear Logic: 222 (London Mathematical Society Lecture Note Series, Series Number 222)

Girard, Jean

ISBN 10: 0521559618 / ISBN 13: 9780521559614

Published by Cambridge University Press, 1995

About this Item

This volume gives an overview of linear logic that will be useful to mathematicians and computer scientists working in this area. Editor(s): Girard, Jean-Yves (Centre National de la Recherche Scientifique (CNRS), Paris); Lafont, Yves (Centre National de la Recherche Scientifique (CNRS), Paris); Regnier, Laurent (Centre National de la Recherche Scientifique (CNRS), Paris). Series Editor(s): Hitchin, N. J. Series: London Mathematical Society Lecture Note Series. Num Pages: 400 pages, many line drawings. BIC Classification: PBCD. Category: (P) Professional & Vocational. Dimension: 228 x 152 x 23. Weight in Grams: 590. . 2010. paperback. . . . . Books ship from the US and Ireland.

Seller Inventory # V9780521559614

Bibliographic Details

• Title: Advances in Linear Logic: 222 (London Mathematical Society Lecture Note Series, Series Number 222)
• Publisher: Cambridge University Press
• Publication Date: 1995
• Language: English
• ISBN 10: 0521559618
• ISBN 13: 9780521559614
• Binding: Soft cover
• Condition: New

About this title

Synopsis

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.

Book Description

Including a general introduction to linear logic that will ensure its use by the novice as well as the expert, this volume is divided into five parts: category theory; complexity and expressivity; proof theory; proof nets and the geometry of interaction.