Jonathan Gallagher, Video: Differential programming, probably
Jonathan Gallagher, Video: Differential programming, probably
Jonathan Gallagher, Differential programming, probably, Tangent Categories and their Applications (Online), BIRS, BIRS talk, 21w5251, math, mathematics, video