Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
added this:
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]
1 to 2 of 2