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 | Committee Member in Program Committee within the ICFP Papers and Events-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
ICFP 2022-profile
View general profile
View general profile