Jean-Yves Girard profile picture

Jean-Yves Girard

Is this your author profile? Create an account to customize it!

Stand Alone

The blind spot
Advances in linear logic
Proofs and types
Linear Logic in Computer Science
Proof Theory Logical Complexity (Studies in Proof Theory)
Typed Lambda Calculi and Applications: 4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science)
Linear logic in computer science
Le théorème de Gödel