Books
1 results found| Title | Authors | Description | OpenBook ID | |
|---|---|---|---|---|
|
Linear Logic in Computer Science | Philip Scott,Jean-Yves Girard | This book illustrates linear logic in the application of proof theory to computer science. | OL19812712W |