nLab Anthony Bordg

• webpage

Selected publications

On the model invariance problem of homotopy type theory:

• Anthony Bordg, On a Model Invariance Problem in Homotopy Type Theory, Appl Categor Struct 27, 311-322 (2019) [doi:s10485-019-09558-w, arXiv:1712.03409]

On the UniMath library:

• Anthony Bordg, Univalent Foundations and the UniMath Library, in: Reflections on the Foundations of Mathematics, Synthese Library 407 Springer (2019) [doi:10.1007/978-3-030-15655-8_8, arXiv:1710.02723]

category: people