Peter Aczel (1941–2023)
In 2012 at IAS, Peter Aczel initiated a working group on informal rigorous reasoning in type theory, whose activities expanded into the writing of the HoTT book. Without Peter’s initiative there would be no book, nor the ensuing success of homotopy type theory. [A Bauer, Aug 2023]
Introducing the structure identity principle in homotopy type theory:
Peter Aczel, Michael Rathjen, Notes on Constructive Set theory, 2001 (pdf, pdf)
Peter Aczel, Constructive Set Theory, 2008 (pdf)
Last revised on August 3, 2023 at 18:14:18. See the history of this page for a list of all contributions to it.