Plongée dans la théoriePlongée dans la théoriedes types homotopiquesfaçonnent les maths modernes.Examen des concepts avancés quiLogique en informatiqueThéorie des Types Homotopiques : Fusionner les Maths et l'InformatiqueUn aperçu des principes de la Théorie des Types d'Homotopie et son impact.2025-10-07T05:01:54+00:00 ― 5 min lire