Sign inJoin
Linear Logic in Computer Science
Sign up to use

In print

Bookshop.orgAmazonBook OutletWorld of BooksScholastic

Ebook

KoboAmazon

Audiobook

Libro.fmAudiobooks.com

Library

Find at your library

We may earn a commission. Learn more.

Linear Logic in Computer Science

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

In print

Bookshop.orgAmazonBook OutletWorld of BooksScholastic

Ebook

KoboAmazon

Audiobook

Libro.fmAudiobooks.com

Library

Find at your library

We may earn a commission. Learn more.

No reviews yet.
Be the first to write one.

No highlights yet.
Be the first to share one.