Main image
Click to view image in fullscreen
![]()
Linear Logic in Computer Science
The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area.
880,00 DH
Sur commande
The purpose of this book is to illustrate the use of linear logic in the application of proof theory to computer science. It contains tutorials introducing the application of linear logic, as well as advanced contributions on recent trends. It is an excellent introduction to research topics in the area.
| ISBN / EAN | 9780521608572 |
|---|---|
| Editeur | Cambridge University Press |