-
candidate for the research project Simplicial Type Theory. What are you going to do? A key step in the development of homotopy type theory was the construction by Voevodsky of a model of this theory in
Searches related to structure
Enter an email to receive alerts for structure positions