Video From 21w5251: Tangent Categories and their Applications (Online)

Thursday, June 17, 2021 09:01 - 09:56
Differential programming, probably

Download this video (82M)



Other videos from this workshop