Lionel Vaux

  1. Title:
    A groupoid of permutation trees (with applications to the Taylor expansion of λ-terms)
    Speaker:
    Lionel Vaux

    Link:
    http://www.birs.ca/events/2021/5-day-workshops/21w5251/videos/watch/202106151130-Vaux.html