Lectures on type theory, category theory, proof theory [video] #1 Post by ecthiender » Wed, Jul 17, 2019, 9:53 AM UTC Lectures on type theory, category theory, proof theory [video]youtube.com