NWPT 2023 - 34th Nordic Workshop on Programming Theory (series) / Niccolò Veltri
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