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

by PhilipScott (Editor), Jean-YvesGirard (Editor), ThomasEhrhard (Editor), PaulRuet (Editor)

New
Paperback
2004
$95.22

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

Synopsis

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

$95.22

Quantity

10 in stock

More Information

Format: Paperback
Pages: 392
Publisher: Cambridge University Press
Published: 15 Nov 2004
ISBN 10: 0521608570
ISBN 13: 9780521608572

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

New

$95.22

Synopsis

$95.22

More Information