For more on the use of modalities in physics, see Schreiber: Modern Physics formalized in Modal Homotopy Type Theory.
Back to book
Last revised on January 27, 2020 at 11:40:48. See the history of this page for a list of all contributions to it.