Registered user since Mon 4 Jul 2022
Name:Andrea Laretto
Country:Estonia
Affiliation:Tallinn University of Technology
Personal website: https://iwilare.com
X (Twitter): https://x.com/iwilare
GitHub: https://github.com/iwilare
Research interests:Type theory, category theory
Contributions
Using general profile