Modern physics formalized in modal HoTT

https://ncatlab.org/schreiber/show/Modern+Physics+formalized+in+Modal+Homotopy+Type+Theory

Voir aussi:

https://ncatlab.org/schreiber/show/Quantum+gauge+field+theory+in+Cohesive+homotopy+type+theory

https://ncatlab.org/nlab/show/modal+type+theory

https://arxiv.org/pdf/1703.03007.pdf

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