
Registered user since Sat 2 Feb 2019
Name:Niccolò Veltri
Country:Estonia
Affiliation:Tallinn University of Technology
Personal website: https://niccoloveltri.github.io
Research interests:Type theory, logic, constructive mathematics, semantics
Contributions
ICFP 2022-profile
View general profile
View general profile