Loading...

More from Jean-Yves Girard

cover of Linear Logic in Computer Science
cover of Advances in linear logic
cover of Proof Theory and Logical Complexity
cover of Typed Lambda Calculi and Applications
cover of Proofs and types
the BiblioNest logo

The BiblioNest. Curate your collection, your way.

ExploreLibraryAbout

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