Hacker News new | ask | show | jobs
Lectures on type theory, category theory, proof theory [video] (youtube.com)
1 points by ecthiender 2536 days ago