Linear Logic in Computer Science

London Mathematical Society Lecture Note #316

Linear Logic in Computer Science

Thomas Ehrhard , Paul Ruet , Jean-Yves Girard

No ratings yet

Mar 22, 2011 · English · Kindle (392 pages)

Rate this book

Export Book Journal

Reviews

No reviews yet

Be the first to review this book and share your thoughts

Sign In to Review

Rate this book

Export Book Journal