nLab Niccolò Veltri

• personal page

Selected writings

On higher inductive types in homotopy type theory:

• Niccolò Veltri, Niels van der Weide, Constructing Higher Inductive Types as Groupoid Quotients, Logical Methods in Computer Science 17 2 (2021) [arXiv:2002.08150, doi:10.23638/LMCS-17(2:8)2021]

On non-wellfounded sets in homotopy type theory:

• Håkon Robbestad Gylterud, Elisabeth Stenholm, Niccolò Veltri, Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory [arXiv:2001.06696]

category: people