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

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

New
Paperback
2004
$114.23

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.

$114.23

Quantity

20+ 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

$114.23

Synopsis

$114.23

More Information