Books by Jean-Yves Girard
Total count: 10
Proof theory and logical complexityBibliopolis1987-01-01
Proofs and typesCambridge University Press1989-04-28
Typed Lambda Calculi and Applications4th International Conference, TLCA'99, L'Aquila, Italy, April 7-9, 1999, Proceedings (Lecture Notes in Computer Science)1 editionSpringer1999-04-28
The blind spotlectures on logicEuropean Mathematical Society2011-01-01
Face à facesMichel CourtemancheKO Media2018-10-16