nLab Peter Aczel

Selected writings

Introducing the structure identity principle in homotopy type theory:

  • Peter Aczel, On Voevodsky’s Univalence Axiom, talk at Third European Set Theory Conference (2011) [pdf, pdf]

On constructive set theory:

category: people

Last revised on December 26, 2022 at 23:33:22. See the history of this page for a list of all contributions to it.