Mots-clés – Auteurs

théorie homotopique des types

Il y a 1 résultat pour cette recherche

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