ISBN.nu logo
isbn.nu
search for books and compare prices
Search >
Thomas Ehrhard has written 1 work(s)
Search for other authors with the same name
displaying 1 to 1 | at end
show results in order: alphabetically | oldest to newest | newest to oldest
1
Linear Logic In Computer Science
cover image for 9780521608572
Product Description: 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...read more
By Thomas Ehrhard (editor), Jean-Yves Girard (editor), Paul RUET (editor) and Philip Scott (editor)
See complete details on each edition (1 edition listed)
Edition summary (click for prices and details):

Paperback:

9780521608572 | Cambridge Univ Pr, November 30, 2004, cover price $127.00 | About this edition: Linear Logic is a branch of proof theory which provides refined tools for the study of the computational aspects of proofs.

displaying 1 to 1 | at end