HOTT: née de la confrontation de la théorie des types de Martin-Lof et de l’homotopie abstraite

Source : HOTT: née de la confrontation de la théorie des types de Martin-Lof et de l’homotopie abstraite

Publicités

Une réflexion au sujet de « HOTT: née de la confrontation de la théorie des types de Martin-Lof et de l’homotopie abstraite »

Laisser un commentaire

Entrez vos coordonnées ci-dessous ou cliquez sur une icône pour vous connecter:

Logo WordPress.com

Vous commentez à l'aide de votre compte WordPress.com. Déconnexion / Changer )

Image Twitter

Vous commentez à l'aide de votre compte Twitter. Déconnexion / Changer )

Photo Facebook

Vous commentez à l'aide de votre compte Facebook. Déconnexion / Changer )

Photo Google+

Vous commentez à l'aide de votre compte Google+. Déconnexion / Changer )

Connexion à %s