Talk page

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

Workshop:
Birs- 21w5251: Tangent Categories and their Applications (Online)