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 December 26, 2022 at 23:33:22. See the history of this page for a list of all contributions to it.