Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)

0 avg rating
( 0 ratings by Goodreads )
 
9780521608572: Linear Logic in Computer Science (London Mathematical Society Lecture Note Series)
View all copies of this ISBN edition:
 
 

Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area.

"synopsis" may belong to another edition of this title.

Book Description:

The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area.

"About this title" may belong to another edition of this title.

Top Search Results from the AbeBooks Marketplace

Stock Image

1.

Ehrhard, Thomas (Editor)/ Girard, Jean-Yves (Editor)/ RUET, Paul (Editor)/ Scott, Philip (Editor)
Published by Cambridge Univ Pr (2004)
ISBN 10: 0521608570 ISBN 13: 9780521608572
New Paperback Quantity Available: 1
Seller:
Revaluation Books
(Exeter, United Kingdom)

Book Description Cambridge Univ Pr, 2004. Paperback. Condition: Brand New. 381 pages. 9.00x6.00x0.50 inches. In Stock. Seller Inventory # __0521608570

More information about this seller | Contact this seller

Buy New
70.69
Convert currency

Add to Basket

Shipping: 7.50
From United Kingdom to U.S.A.
Destination, rates & speeds
Stock Image

2.

Ehrhard, Thomas
Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2016)
ISBN 10: 0521608570 ISBN 13: 9780521608572
New Paperback Quantity Available: 10
Seller:
The Book Depository
(London, United Kingdom)

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2016. Paperback. Condition: New. Language: English. Brand new Book. Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area. Seller Inventory # AAV9780521608572

More information about this seller | Contact this seller

Buy New
82.46
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds
Stock Image

3.

Ehrhard, Thomas
Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2016)
ISBN 10: 0521608570 ISBN 13: 9780521608572
New Paperback Quantity Available: 10
Seller:
Book Depository International
(London, United Kingdom)

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2016. Paperback. Condition: New. Language: English. Brand new Book. Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area. Seller Inventory # AAV9780521608572

More information about this seller | Contact this seller

Buy New
82.70
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds
Stock Image

4.

Ehrhard, Thomas
Published by Cambridge University Press (2004)
ISBN 10: 0521608570 ISBN 13: 9780521608572
New Quantity Available: > 20
Print on Demand
Seller:
Books2Anywhere
(Fairford, GLOS, United Kingdom)

Book Description Cambridge University Press, 2004. PAP. Condition: New. New Book. Delivered from our UK warehouse in 4 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9780521608572

More information about this seller | Contact this seller

Buy New
82.47
Convert currency

Add to Basket

Shipping: 5
From United Kingdom to U.S.A.
Destination, rates & speeds
Stock Image

5.

Ehrhard, Thomas
Published by Cambridge University Press (2004)
ISBN 10: 0521608570 ISBN 13: 9780521608572
New Quantity Available: > 20
Print on Demand
Seller:
Paperbackshop-US
(Wood Dale, IL, U.S.A.)

Book Description Cambridge University Press, 2004. PAP. Condition: New. New Book. Shipped from UK. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Seller Inventory # LQ-9780521608572

More information about this seller | Contact this seller

Buy New
92.16
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds
Stock Image

6.

Ehrhard, Thomas
Published by CAMBRIDGE UNIVERSITY PRESS, United Kingdom (2016)
ISBN 10: 0521608570 ISBN 13: 9780521608572
New Paperback Quantity Available: 10
Seller:
Book Depository hard to find
(London, United Kingdom)

Book Description CAMBRIDGE UNIVERSITY PRESS, United Kingdom, 2016. Paperback. Condition: New. Language: English. Brand new Book. Linear logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs. These tools include a duality-based categorical semantics, an intrinsic graphical representation of proofs, the introduction of well-behaved non-commutative logical connectives, and the concepts of polarity and focalisation. These various aspects are illustrated here through introductory tutorials as well as more specialised contributions, with a particular emphasis on applications to computer science: denotational semantics, lambda-calculus, logic programming and concurrency theory. The volume is rounded-off by two invited contributions on new topics rooted in recent developments of linear logic. The book derives from a summer school that was the climax of the EU Training and Mobility of Researchers project 'Linear Logic in Computer Science'. It is an excellent introduction to some of the most active research topics in the area. Seller Inventory # LIE9780521608572

More information about this seller | Contact this seller

Buy New
94.77
Convert currency

Add to Basket

Shipping: FREE
From United Kingdom to U.S.A.
Destination, rates & speeds
Stock Image

7.

Thomas Ehrhard (Editor), Jean-Yves Girard (Editor), Paul Ruet (Editor), Philip Scott (Editor)
Published by Cambridge University Press (2004)
ISBN 10: 0521608570 ISBN 13: 9780521608572
New Paperback Quantity Available: 1
Seller:
Ergodebooks
(RICHMOND, TX, U.S.A.)

Book Description Cambridge University Press, 2004. Paperback. Condition: New. Seller Inventory # DADAX0521608570

More information about this seller | Contact this seller

Buy New
105.89
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds
Stock Image

8.

Ehrhard, Thomas (Editor)/ Girard, Jean-Yves (Editor)/ RUET, Paul (Editor)/ Scott, Philip (Editor)
Published by Cambridge Univ Pr (2004)
ISBN 10: 0521608570 ISBN 13: 9780521608572
New Paperback Quantity Available: 2
Seller:
Revaluation Books
(Exeter, United Kingdom)

Book Description Cambridge Univ Pr, 2004. Paperback. Condition: Brand New. 381 pages. 9.00x6.00x0.50 inches. In Stock. Seller Inventory # x-0521608570

More information about this seller | Contact this seller

Buy New
99.40
Convert currency

Add to Basket

Shipping: 7.50
From United Kingdom to U.S.A.
Destination, rates & speeds
Stock Image

9.

Ehrhard, Thomas
Published by Cambridge University Press (2004)
ISBN 10: 0521608570 ISBN 13: 9780521608572
New Softcover Quantity Available: > 20
Print on Demand
Seller:
California Books
(MIAMI, FL, U.S.A.)

Book Description Cambridge University Press, 2004. Condition: New. This book is printed on demand. Seller Inventory # I-9780521608572

More information about this seller | Contact this seller

Buy New
107.92
Convert currency

Add to Basket

Shipping: FREE
Within U.S.A.
Destination, rates & speeds
Stock Image

10.

Ehrhard, Thomas
Published by Cambridge University Press
ISBN 10: 0521608570 ISBN 13: 9780521608572
New PAPERBACK Quantity Available: > 20
Seller:
Russell Books
(Victoria, BC, Canada)

Book Description Cambridge University Press. PAPERBACK. Condition: New. 0521608570 Special order direct from the distributor. Seller Inventory # ING9780521608572

More information about this seller | Contact this seller

Buy New
116.51
Convert currency

Add to Basket

Shipping: 5.35
From Canada to U.S.A.
Destination, rates & speeds