Luca Bressanless info
|visits||member for||11 months|
|seen||Jun 4 at 14:08|
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 Votes Cast
|all time||by type|