Registered user since Thu 28 Nov 2019
Name:Niccolò Veltri
Country:Estonia
Affiliation:Tallinn University of Technology
Personal website: https://niccoloveltri.github.io/
Research interests:type theory, categorical semantics, formalization of mathematics, structural proof theory
Contributions
Using general profile