NWPT 2023 - 34th Nordic Workshop on Programming Theory (series) / Niccolò Veltri
![Niccolò Veltri](https://conf.researchr.org/getProfileImage/niccoloveltri1/166adf88-c0c8-47d1-aa8d-762df4679555/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
NWPT 2023 - 34th Nordic Workshop on Programming Theory -profile
View general profile
View general profile