Linear Logic in Computer Science

By Philip Scott, Jean-Yves Girard

Subjects: Symbolic and mathematical Logic, Proof theory, Computer science, Computer science, mathematics, Mathematics

Description: This book illustrates linear logic in the application of proof theory to computer science.