Workshop on Homotopy Type Theory / Univalent Foundations, Location: Vienna
Publication date:
2023-04-23
Author:
Nuyts, Andreas
Keywords:
1247922N#56489469