by Jean-Yves Girard, Philip Scott
This book illustrates linear logic in the application of proof theory to computer science.