Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 1 of 1
Adding reference * [[Ulrik Buchholtz]], *Higher Structures in Homotopy Type Theory*, in: *[[Reflections on the Foundations of Mathematics]]*, Synthese Library **407** Springer (2019) [[doi:10.1007/978-3-030-15655-8_7](https://doi.org/10.1007/978-3-030-15655-8_7), [arXiv:1807.02177](https://arxiv.org/abs/1807.02177)] Anonymouse <a href="https://ncatlab.org/nlab/revision/diff/Ulrik+Buchholtz/12">diff</a>, <a href="https://ncatlab.org/nlab/revision/Ulrik+Buchholtz/12">v12</a>, <a href="https://ncatlab.org/nlab/show/Ulrik+Buchholtz">current</a>
Adding reference
Anonymouse
diff, v12, current