Qu'est-ce qu'une réponse ? (l'analytique) 1/3
IHP thematic trimester : Semantics of proofs and certified mathematics 24/04/2014
IHP thematic trimester : Semantics of proofs and certified mathematics 24/04/2014
By Georges Gonthier
By Vladimir Voevodsky
By Gérard Berry
By Gérard Berry
By Jean Louis Krivine
By Jean Louis Krivine