Sign in
Join Literal
Linear Logic in Computer Science
Philip Scott
Want to read
Sign up to use
Philip Scott
Linear Logic in Computer Science
Philip Scott,
Jean-Yves Girard,
Thomas Ehrhard,
Paul Ruet
Want to read
Sign up to use
Want to read
Sign up to use
Overview
Reviews
Highlights
Editions
This book illustrates linear logic in the application of proof theory to computer science.
Discover more books like Linear Logic in Computer Science