JoshuaBall

Personal information


formal logic, intuitionistic logic, proof theory, type theory, categorical algebra (i.e. any "foundations of mathematics" type of stuff)

History


10 years 3 weeks