Paul-André Melliès

  1. Title:
    A Functorial Excursion between Algebraic Geometry and Linear Logic
    Speaker:
    Paul-André Melliès

    Link:
    https://www.youtube.com/watch?v=UkPFh_tYD1M