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