Luca Bressanless info
|visits||member for||3 months|
|seen||Nov 25 at 17:43|
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.
0 Votes Cast
This user has not cast any votes