A F Parker Rhodes : the theory of indistinguishables

https://books.google.fr/books?id=zZvuCAAAQBAJ&pg=PA10&lpg=PA10&dq=theory+of+indistinguishables&source=bl&ots=Qlpc2qrATg&sig=8vL2J4cmLrgrb6xWNht40SG8hMo&hl=fr&sa=X&ved=0ahUKEwjHn9nmlpjYAhVCPVAKHTSAAusQ6AEITzAL#v=onepage&q=theory%20of%20indistinguishables&f=false

Date de 1981, avant l’émergence de la théorie homotopique des types

Un article de physique là dessus :

https://arxiv.org/abs/1203.6268

Advertisements
This entry was posted in homotopy type theory. Bookmark the permalink.