Recherche avancée

théorie homotopique des types

Chercher dans les

Il y a 1 résultat avec cette recherche.

2017 Quadrature. N° 103. p. 11-17. Un jeu vidéo pour adultes et une thématique HoTT !

Auteur : Alvarez Aurélien

© ADIREM-APMEP – ISSN 1292-8054 – Mentions légales –

Mise à jour 28/04/2025 22:02 –

40139 fiches –

4213 notices du glossaire.