Linking pages
- GitHub - andrejbauer/homotopy-type-theory-course: A course on homotopy theory and type theory, taught jointly with Jaka Smrekar https://github.com/andrejbauer/homotopy-type-theory-course 4 comments
- A Candidate Geometrical Formalism for the Foundations of Mathematics and Physics—Wolfram Institute Bulletins https://www.wolframphysics.org/bulletins/2020/08/a-candidate-geometrical-formalism-for-the-foundations-of-mathematics-and-physics/ 0 comments
Related searches:
Search whole site: site:arxiv.org
Search title: [1703.03007] Homotopy type theory: the logic of space
See how to search.