1. Awodey, S. (2014). Structuralism, invariance, and univalence. Philosophia Mathematica, 22(1), 1–11.
2. Birkedal, L., Bizjak, A., Clouston, R., Grathwohl, H. B., Spitters, B., & Vezzosi, A. (2016). Guarded cubical type theory: Path equality for guarded recursion. https://arxiv.org/abs/1606.05223
3. Bolzano, B. (1851). Paradoxien des Unendlichen. Leipzig: C. H. Re-clamsen.
4. Burali-Forti, C. (1897). Una questione sui numeri transfiniti sulle classi ben ordinate. Rendiconti del Circolo mathematico di Palermo, 11(260), 154–156.
5. Cantor, H. (1874). Ueber eine Eigenschaft des Inbegriffs aller reellen algebraischen Zahlen. Journal die reine und angewandte Mathematik, 77, 258–262.