Linear Logic in Computer Science

Linear Logic in Computer Science
About this book
This book illustrates linear logic in the application of proof theory to computer science.
Details
- OL Work ID
- OL19812712W
Subjects
MathematicsSymbolic and mathematical LogicProof theoryComputer scienceComputer science, mathematicsData processing