同伦类型论讨论班 (HoTTEST), UWO

[视频作者] Teichmuller

[视频时长] 3097:21

[视频类型] 校园学习

youtube.com Homotopy Type Theory Electronic Seminar Talks is a series of research talks by leading experts in Homotopy Type Theory. The seminar is open to all, although familiarity with Homotopy Type Theory will be assumed.