Nullable Compositions
Channel: Favonia
Date: 2020-07-13

Pre-recorded talk for ICMS 2020 http://icms-conference.org/2020/
Q&A at 16:10 CEST / 10:10 EDT / 9:10 CDT on 2020/7/15
Session: Univalent Mathematics: Theory and Implementation https://univalent-math.github.io/