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