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

Friday, June 18, 2021 14:30 - 14:52
Linearizing Combinators

Download this video (29M)



Other videos from this workshop