Niccol\`o Veltri

Identifiers

No identifiers captured yet.

Papers (3)

1. Doctrinal Semantics of Directed First-Order Logic cs.LO · 2025 · author #3
2. Bisimulation as path type for guarded recursive types cs.LO · 2018 · author #2
3. Variations on Noetherianness cs.LO · 2016 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• Andrea Laretto 1 shared papers
• Denis Firsov 1 shared papers
• Fosco Loregian 1 shared papers
• Rasmus Ejlers M{\o}gelberg 1 shared papers
• Tarmo Uustalu 1 shared papers