Mario Alvarez-picallo

  1. Title:
    Soundness for automatic differentiation via string diagrams

    Speaker:

    Link: