![Niccolò Veltri](https://icfp19.sigplan.org/getProfileImage/niccoloveltri/a086e884-e7ea-4cf3-bb6f-a67978119c32/small.jpg?1711508217000)
Registered user since Sat 2 Feb 2019
Name:Niccolò Veltri
Country:Denmark
Affiliation:IT University of Copenhagen
Personal website: https://niccoloveltri.github.io
Research interests:Type theory, logic, constructive mathematics, semantics
Contributions
ICFP 2019-profile
View general profile
View general profile