Accueil Publimath  Aide à la recherche  Requête : "théorie homotopique des types"
Certification IDDN Valid HTML 4.01 Transitional

dans Afficher les fiches par  
3 fiches trouvées

12017 Quadrature. Num. 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !Ressource en ligne
22015 Bibliothèque Tangente. Num. 55. Les démonstrations.
32015 Bibliothèque Tangente. Num. 55. La théorie homotopique des types : de nouveaux fondements des mathématiques ? p. 120-127.