conf.researchr.org / 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
| CPP 2020 | Author of Formalizing π-calculus in Guarded Cubical Agda within the CPP 2020-track |