Loading edition detail...
Preparing this view.
Join BookitisSave favorites, build lists, and follow creators.
Preparing this view.
Thomas Ehrhard, Jean-Yves Girard, Paul Ruet
This book illustrates linear logic in the application of proof theory to computer science.
| Publisher | Cambridge University Press |
|---|---|
| Pages | 393 |
| Search language | english |
| ISBN_13 | 978-1-299-40517-2 primary |
Publication-specific alternatives linked to the same work.
Linear logic in computer science
Linear Logic in Computer Science
Linear Logic in Computer Science