1. Awodey, S.: From Sets to Types, to Categories, to Sets. In: Sommaruga G. (ed.) Foundational Theories of Classical and Constructive Mathematics. The Western Ontario Series in Philosophy of Science, vol 76. Springer, Dordrecht (2011)
2. Baez, J.: The Homotopy Hypothesis, https://math.ucr.edu/home/baez/homotopy/homotopy.pdf (2007)
3. Bauer, A., Coquand, T., Gambino, N.: Homotopy Type Theory: Unified Foundations of Mathematics and Computation (MURI Proposal) (2014)
4. Caldarola, F.: The sierpinski curve viewed by numerical computations with infinities and infinitesimals. Appl. Math. Comput. 318, 321–328 (2018)
5. Cococcioni, M., Pappalardo, M., Sergeyev, Y.: Lexicographic multi-objective linear programming using Grossone methodology: theory and algorithms. Appl. Math. Comput. 318, 298–311 (2018)