Sonal Jain

  1. Title:
    Heuristics for lambda Invariants
    Speaker:
    Sonal Jain

    Link:
    https://www.ias.edu/video/nt/jain