Linear Logic in Computer Science
by:
Paul Ruet (author)
Paul Ruet (author)
This book illustrates linear logic in the application of proof theory to computer science.
This book illustrates linear logic in the application of proof theory to computer science.
show less
Format: paperback
ISBN:
9780521608572 (0521608570)
Publish date: November 15th 2004
Publisher: Cambridge University Press
Pages no: 392
Edition language: English