Niccol\`o Veltri

Identifiers

• name variant Niccol\`o Veltri 0.60 · backfill

Papers (4)

1. Doctrinal Semantics of Directed First-Order Logic cs.LO · 2025 · author #3
2. Terminal Coalgebras and Non-wellfounded Sets in Homotopy Type Theory math.LO · 2020 · author #3
3. Bisimulation as path type for guarded recursive types cs.LO · 2018 · author #2
4. Variations on Noetherianness cs.LO · 2016 · author #3

Mentions

• 2001.06696 #3 · arxiv_oai · confidence 0.70 Niccol\`o Veltri

Frequent Coauthors

• Andrea Laretto 1 shared papers
• Denis Firsov 1 shared papers
• Elisabeth Stenholm 1 shared papers
• Fosco Loregian 1 shared papers
• H{\aa}kon Robbestad Gylterud 1 shared papers
• Rasmus Ejlers M{\o}gelberg 1 shared papers
• Tarmo Uustalu 1 shared papers