AboutSign inJoin
Linear Logic in Computer Science

Linear Logic in Computer Science

Philip Scott, Jean-Yves Girard, Thomas Ehrhard, Paul Ruet — 2004
This book illustrates linear logic in the application of proof theory to computer science.
Sign up to use