Introduction and welcoming word
« Semantics of proofs and certified mathematics » trimester presentation
« Semantics of proofs and certified mathematics » trimester presentation
By Georges Gonthier
By Vladimir Voevodsky
By Gérard Berry
By Gérard Berry
By Jean Louis Krivine
By Jean Louis Krivine