Talk_aplas2023

I gave a talk on my recent paper “Proofs as Terms, Terms as Graphs” at APLAS 2023 @ Academia Sinica, Taipei, Taiwan. Slides.