Guillaume Brunerie : weak infinity groupoids in #HoTT

http://www.1scr.net/video/t_wUJ83KnsQnw

Advertisements
This entry was posted in homotopy type theory and tagged . Bookmark the permalink.