859 reputation
211
bio website
location Padua, Italy
age 22
visits member for 8 months
seen 11 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.


859 Reputation

10 2 days ago
10 Mar 20
10 Mar 15
20 Mar 14
10 Mar 3
10 Mar 2
5 Feb 12
10 Feb 6
15 Dec 30 '13
10 Dec 9 '13
10 Dec 8 '13
2 Nov 25 '13
10 Nov 22 '13
30 Nov 17 '13
25 Nov 16 '13
10 Nov 11 '13
10 Nov 10 '13
15 Nov 6 '13
50 Nov 5 '13
55 Nov 4 '13
30 Nov 2 '13
30 Nov 1 '13
5 Oct 31 '13
25 Oct 20 '13
10 Oct 17 '13
30 Oct 16 '13
10 Oct 15 '13
15 Oct 13 '13
15 Sep 13 '13
35 Sep 12 '13