Linear Logic in Computer Science - London Mathematical Society Lecture Note Series - Paul Ruet - Books - Cambridge University Press - 9780521608572 - November 15, 2004
In case cover and title do not match, the title is correct

Linear Logic in Computer Science - London Mathematical Society Lecture Note Series

Paul Ruet

Price
¥ 17,001
excl. VAT

Ordered from remote warehouse

Expected delivery Nov 5 - 18

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Linear Logic in Computer Science - London Mathematical Society Lecture Note Series

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.

392 pages, 75 exercises

Media Books     Paperback Book   (Book with soft cover and glued back)
Released November 15, 2004
ISBN13 9780521608572
Publishers Cambridge University Press
Pages 392
Dimensions 153 × 228 × 23 mm   ·   520 g
Language English  
Editor Ehrhard, Thomas (Institut de Mathematiques de Luminy, Marseille)
Editor Girard, Jean-Yves (Institut de Mathematiques de Luminy, Marseille)
Editor Ruet, Paul (Institut de Mathematiques de Luminy, Marseille)
Editor Scott, Philip (University of Ottawa)

See all of Paul Ruet ( e.g. Paperback Book )