Announcement_2

I gave the talk “A positive perspective on term representation” at Proofs and Algorithms seminar, LIX/Inria Saclay (online). Slides.