Dialogue (imaginaire) entre un physicien et un logicien

https://ncatlab.org/schreiber/files/QPL2011Schreiber.pdf

C’est sur cette page du nforum :

https://nforum.ncatlab.org/discussion/4623/duality-for-homotopy-type-theories/

Publicités