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.
Q&A for people studying math at any level and professionals in related fields
Q&A for professional mathematicians
Q&A for theoretical computer scientists and researchers in related fields
Q&A for those interested in logical reasoning
Q&A for students, researchers and practitioners of computer science