La révolution éternelle : le livre rouge

https://books.google.fr/books?id=oTqvAwAAQBAJ&pg=PA127&lpg=PA127&dq=marx+homotopy+type+theory&source=bl&ots=XVb_G6pixs&sig=GXN5VYvxM_u0Q8z7JnbKBj4YxII&hl=fr&sa=X&ved=2ahUKEwjB7LHLivvYAhVE2qQKHcSBBK8Q6AEwBXoECAYQAQ#v=onepage&q=marx%20homotopy%20type%20theory&f=false

 

(Le livre « HOTT univalent foundations » cité dans les références à la fin, en compagnie de Grothendieck ´ Leinster, Girard)

Publicités

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 )

Photo Google+

Vous commentez à l'aide de votre compte Google+. 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 )

Connexion à %s