Lionel Vaux, Video: A groupoid of permutation trees (with applications to the Taylor expansion of λ-terms)

Lionel Vaux, Video: A groupoid of permutation trees (with applications to the Taylor expansion of λ-terms)

Lionel Vaux, A groupoid of permutation trees (with applications to the Taylor expansion of λ-terms), Tangent Categories and their Applications (Online), BIRS, BIRS talk, 21w5251, math, mathematics, video

Banff International Research Station

Banff International Research Station

presentation

mpeg4

59M

http://www.birs.ca/events/2021/5-day-workshops/21w5251/videos

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