conf.researchr.org / Niccolò Veltri
![Niccolò Veltri](https://conf.researchr.org/getProfileImage/niccoloveltri1/af7dcce1-a9bc-4b51-a1c9-a444651bb69e/small.jpg?1711522044000)
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