Homotopy Type Theory Electronic Seminar Talks (HoTTEST), Location: Online
Publication date:
2024-05-02
Author:
Nuyts, Andreas
Keywords:
1247922N#56489469