Loading edition detail...
Preparing this view.
Join BookitisSave favorites, build lists, and follow creators.
Preparing this view.
Book detail
This book illustrates linear logic in the application of proof theory to computer science.
| Publisher | Cambridge University Press |
|---|---|
| Pages | 381 |
| Search language | english |
| ISBN_10 | 0-521-60857-0 primary |
Publication-specific alternatives linked to the same work.
Linear Logic in Computer Science
Linear Logic in Computer Science
Linear Logic in Computer Science