Linear Logic in Computer Science
by Jean-Yves Girard, Philip Scott
MathematicsSymbolic and mathematical LogicProof theoryComputer scienceComputer science, mathematicsData processing
This book illustrates linear logic in the application of proof theory to computer science.
Writing a summary for young readers…
For young readers
Book data: Open Library