Niccolò Veltri

Registered user since Thu 28 Nov 2019

Name:Niccolò Veltri
Country:Estonia
Affiliation:Tallinn University of Technology
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