nLab Peter Aczel

webpage

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:

Peter Aczel, Michael Rathjen, Notes on Constructive Set theory, 2001 (pdf, pdf)
Peter Aczel, Constructive Set Theory, 2008 (pdf)

Related $n$ Lab entries

taboo

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.