Video From 21w5251: Tangent Categories and their Applications (Online)
Mario Alvarez-Picallo, Huawei Research
Thursday, June 17, 2021 11:00 - 11:53
Soundness for automatic differentiation via string diagrams

©2023 Banff International Research Station for Mathematical Innovation and Discovery. All Rights Reserved.