Chapter 5 Spatial types

For more on the use of modalities in physics, see Schreiber: Modern Physics formalized in Modal Homotopy Type Theory.

Last revised on January 27, 2020 at 06:40:48. See the history of this page for a list of all contributions to it.