Explore
About

Loading...

More from Jean-Yves Girard

cover of Advances in linear logic

cover of Typed Lambda Calculi and Applications

cover of Proof Theory and Logical Complexity

cover of Proofs and types

cover of The blind spot

The BiblioNest. Curate your collection, your way.

Explore Library About

© 2026 Ann Mathenge · Built with love, coffee, and cat hair.

No ratings yet

Linear Logic in Computer Science

By Jean-Yves Girard, Philip Scott

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

Published

2004

Format

-

Pages

381

Language

English

ISBN

0521608570