Loading edition detail...
Preparing this view.
Join BookitisSave favorites, build lists, and follow creators.
Preparing this view.
Thomas Ehrhard, Jean-Yves Girard, Paul Ruet, Philip Scott
This book illustrates linear logic in the application of proof theory to computer science.
| Publisher | Cambridge University Press |
|---|---|
| Search language | english |
| ISBN_13 | 978-0-511-55085-0 primary |
Publication-specific alternatives linked to the same work.