We recommend the following .bib file entries for citing the current version of the page proof theoretic strength of univalent type theory plus HITs. The first is to be used if one does not have unicode support, which is likely the case if one is using bibtex. The second can be used if one does has unicode support. If there are no non-ascii characters in the page name, then the two entries are the same.

In either case, the hyperref package needs to have been imported in one's tex (or sty) file. There are no other dependencies.

The author field has been chosen so that the reference appears in the 'alpha' citation style. Feel free to adjust this.

Bib entry — Ascii

@misc{nlab:proof_theoretic_strength_of_univalent_type_theory_plus_hits,
author = {{nLab authors}},
title = {proof theoretic strength of univalent type theory plus {{H}}{{I}}{{T}}s},
howpublished = {\url{https://ncatlab.org/nlab/show/proof+theoretic+strength+of+univalent+type+theory+plus+HITs}},
note = {\href{https://ncatlab.org/nlab/revision/proof+theoretic+strength+of+univalent+type+theory+plus+HITs/3}{Revision 3}},
month = jun,
year = 2024
}

Bib entry — Unicode

@misc{nlab:proof_theoretic_strength_of_univalent_type_theory_plus_hits,
author = {{nLab authors}},
title = {proof theoretic strength of univalent type theory plus {{H}}{{I}}{{T}}s},
howpublished = {\url{https://ncatlab.org/nlab/show/proof+theoretic+strength+of+univalent+type+theory+plus+HITs}},
note = {\href{https://ncatlab.org/nlab/revision/proof+theoretic+strength+of+univalent+type+theory+plus+HITs/3}{Revision 3}},
month = jun,
year = 2024
}

Problems?

Please report any problems with the .bib entries at the nForum.