Lectures on type theory, category theory, proof theory [video]youtube.com1 point·ecthiender··0 commentsOpen articleSaveView on HN