( partie 4, les liens pour les 3 premières parties sont donnés dans le texte)
Monthly Archives: August 2019
Leave a reply
#HoTT L’axiome d’univalence
Laurent Lafforgue : les mathématiques et le Logos
Voir aussi les quatre autres entretiens