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 2 of 2
Adding reference * [[Andrei Rodin]], *Models of HoTT and the Constructive View of Theories*, in: *[[Reflections on the Foundations of Mathematics]]*, Synthese Library **407** Springer (2019) [[doi:10.1007/978-3-030-15655-8_8](https://doi.org/10.1007/978-3-030-15655-8_8), [pdf](https://philomatica.org/wp-content/uploads/2013/01/MH1.pdf)] Anonymouse <a href="https://ncatlab.org/nlab/revision/diff/Andrei+Rodin/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/Andrei+Rodin/3">v3</a>, <a href="https://ncatlab.org/nlab/show/Andrei+Rodin">current</a>
Adding reference
Anonymouse
diff, v3, current
Fixed doi of new reference Anonymouse <a href="https://ncatlab.org/nlab/revision/diff/Andrei+Rodin/3">diff</a>, <a href="https://ncatlab.org/nlab/revision/Andrei+Rodin/3">v3</a>, <a href="https://ncatlab.org/nlab/show/Andrei+Rodin">current</a>
Fixed doi of new reference