Linear Logic in Computer Science

By Philip Scott, Jean-Yves Girard

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

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