Hacker News new | ask | show | jobs
by lo_zamoyski 990 days ago
Actually, category theory, type theory, and proof theory.