Advances in Linear Logic by Jean-Yves Girard
Look inside with Google Book Preview
Advances in Linear Logic
By Jean-Yves Girard

Advances in Linear Logic

Edited by See other recent books by Jean-Yves Girard See other recent books by Yves Lafont See other recent books by Laurent Regnier
Format: Paperback

Normal Price: $125.00
Your Price: $112.50 AUD, inc. GST
Shipping: $7.95 per order
You Save: $12.50! (10% off normal price)
Plus...earn $5.62 in Boomerang Bucks
Availability: Available Available to Backorder, No Due Date for Supply, Not for Xmas



Advances in Linear Logic by Jean-Yves Girard

Book Description

Linear logic, introduced in 1986 by J.-Y. Girard, is based upon a fine grain analysis of the main proof-theoretical notions of logic. The subject develops along the lines of denotational semantics, proof nets and the geometry of interaction. Its basic dynamical nature has attracted computer scientists, and various promising connections have been made in the areas of optimal program execution, interaction nets and knowledge representation. This book is the refereed proceedings of the first international meeting on linear logic held at Cornell University, in June 1993. Survey papers devoted to specific areas of linear logic, as well as an extensive general introduction to the subject by J.-Y. Girard, have been added, so as to make this book a valuable tool both for the beginner and for the advanced researcher.

Buy Advances in Linear Logic book by Jean-Yves Girard from Australia's Online Bookstore, Boomerang Books.


Book Details

ISBN: 9780521559614
ISBN-10: 0521559618
Format: Paperback
(228mm x 152mm x 23mm)
Pages: 400
Imprint: Cambridge University Press
Publisher: Cambridge University Press
Publish Date: 22-Jun-1995
Country of Publication: United Kingdom

Books By Author Jean-Yves Girard

Linear Logic in Computer Science by Jean-Yves Girard Linear Logic in Computer Science, Paperback (November 2004)

This book illustrates linear logic in the application of proof theory to computer science.

» View all books by Jean-Yves Girard

Reviews

» Have you read this book? We'd like to know what you think about it - write a review about Advances in Linear Logic book by Jean-Yves Girard and you'll earn 50c in Boomerang Bucks loyalty dollars (you must be a member - it's free to sign up!)

Write a book review


Boomerang Bucks close

For every $20 you spend on books, you will receive $1 in Boomerang Bucks loyalty dollars. You can use your Boomerang Bucks as a credit towards a future purchase from Boomerang Books. Note that you must be a Member (free to sign up) and that conditions do apply.

Recent books by Jean-Yves Girard close
Linear Logic in Computer Science by Jean-Yves Girard
»
Recent books by Yves Lafont close
Advances in Linear Logic by Yves Lafont
»
Recent books by Laurent Regnier close
Advances in Linear Logic by Laurent Regnier
»
BoomerangBooks.com.au close