[[!redirects Sandbox > history]] [[!redirects Sandbox]] < [[nlab:Sandbox]] * [[Peter Aczel]]. 2011. *On Voevodsky’s Univalence Axiom*. In Mathematical Logic: Proof Theory, Constructive Mathematics, Samuel R. Buss, Ulrich Kohlenbach, and Michael Rathjen (Eds.). Mathematisches Forschungsinstitut Oberwolfach, Oberwolfach, Chapter 1, 2967. ([doi:10.4171/OWR/2011/52](https://doi.org/10.4171/OWR/2011/52)) category: redirected to nlab