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 2020-profile
View general profile
View general profile