Loading...

More from Jean-Yves Girard

cover of Linear Logic in Computer Science
cover of Advances in linear logic
cover of Typed Lambda Calculi and Applications
cover of Proofs and types
cover of The blind spot
the BiblioNest logo

The BiblioNest. Curate your collection, your way.

ExploreLibraryAbout

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