I am a student of the Master's program in Mathematics at the University of Padua, Italy. My main interests are type theory, category theory and computability.
7 Why is it worth spending time on type theory? nov 16 '13
4 How to prove this set is a closed set? oct 16 '13
3 Isomorphism functorially nov 4 '13