Linear Logic in Computer Science |
|
| Editor:
| Ehrhard, Thomas
Girard, Jean-Yves
Ruet, Paul
Scott, Philip |
| Series title: | London Mathematical Society Lecture Note Ser. |
| ISBN: | 978-0-511-89432-9 |
| Publication Date: | Mar 2011 |
| Publisher: | Cambridge University Press
|
| Book Format: | Ebook |
| List Price: | Contact Supplier contact
|
Book Description:
|
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.