849 reputation
211
bio website
location Padua, Italy
age 22
visits member for 8 months
seen 18 hours ago

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.


2
Nov 4 '13 at 21:06
1
Nov 2 '13 at 11:56
1
Oct 31 '13 at 22:22