Video From 21w5251: Tangent Categories and their Applications (Online)
Michele Pagani, IRIF Paris France
Tuesday, June 15, 2021 09:45 - 10:18
Automatic differentiation in PCF

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