In particular, the idea that univalence can be introduced simply by adding an axiom to the existing Martin-Löf type theory appeared only in 2009. [a ] [b ]
Books & Publications Albarracín, D., Albarracín, J., Chan, M. S., & Jamieson, K.H. (2022). Creating Conspiracy Beliefs: How Our Thoughts are Shaped. Cambridge University Press. Publisher Website Albarracín, D.