Burali-Forti in HoTT/UF

41 views

Skip to first unread message

Martin Escardo

unread,

Feb 24, 2021, 9:50:26 AM2/24/21

to HomotopyT...@googlegroups.com

I've written a post about Burali-Forti in HoTT/UF in Andrej Bauer's
Mathematics and Computation blog, which I'd like to advertise here:

http://math.andrej.com/2021/02/22/burali-forti-in-hott-uf/

This is joint work with Marc Bezem, Thierry Coquand and Peter Dybjer.

Reply all

Reply to author

Forward

0 new messages