3 ms·Actually, category theory, type theory, and proof theory.by lo_zamoyski 3y agoActually, category theory, type theory, and proof theory.