Folgen
Niccolò Veltri
Niccolò Veltri
Researcher, Department of Software Science, Tallinn University of Technology
Bestätigte E-Mail-Adresse bei cs.ioc.ee - Startseite
Titel
Zitiert von
Zitiert von
Jahr
Bicategories in univalent foundations
B Ahrens, D Frumin, M Maggesi, N Veltri, N Van Der Weide
Mathematical Structures in Computer Science 31 (10), 1232-1269, 2021
322021
Quotienting the delay monad by weak bisimilarity
J Chapman, T Uustalu, N Veltri
Mathematical Structures in Computer Science 29 (1), 67-92, 2019
322019
Formalizing 𝜋-calculus in guarded cubical Agda
N Veltri, A Vezzosi
Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020
272020
Quotienting the delay monad by weak bisimilarity
J Chapman, T Uustalu, N Veltri
International Colloquium on Theoretical Aspects of Computing, 110-125, 2015
262015
Bisimulation as path type for guarded recursive types
RE Møgelberg, N Veltri
Proceedings of the ACM on Programming Languages 3 (POPL), 1-29, 2019
242019
The sequent calculus of skew monoidal categories
T Uustalu, N Veltri, N Zeilberger
Electronic Notes in Theoretical Computer Science 341, 345-370, 2018
192018
A type-theoretical study of nontermination
N Veltri
PhD thesis, Tallinn University of Technology, 2017
152017
The delay monad and restriction categories
T Uustalu, N Veltri
International Colloquium on Theoretical Aspects of Computing, 32-50, 2017
142017
Guarded recursion in agda via sized types
N Veltri, N van der Weide
4th International Conference on Formal Structures for Computation and …, 2019
122019
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
B Mannaa, RE Møgelberg, N Veltri
Logical Methods in Computer Science 16, 2020
102020
Eilenberg-Kelly Reloaded
T Uustalu, N Veltri, N Zeilberger
Electronic Notes in Theoretical Computer Science 352, 233-256, 2020
102020
En garde! unguarded iteration for reversible computation in the delay monad
R Kaarsgaard, N Veltri
International Conference on Mathematics of Program Construction, 366-384, 2019
82019
Constructing higher inductive types as groupoid quotients
N Veltri, N Van Der Weide
Logical Methods in Computer Science 17, 2021
72021
Proof theory of partially normal skew monoidal categories
T Uustalu, N Veltri, N Zeilberger
arXiv preprint arXiv:2101.10487, 2021
62021
Deductive systems and coherence for skew prounital closed categories
T Uustalu, N Veltri, N Zeilberger
arXiv preprint arXiv:2101.03809, 2021
62021
Coherence via focusing for symmetric skew monoidal categories
N Veltri
Logic, Language, Information, and Computation: 27th International Workshop …, 2021
62021
Type-theoretic constructions of the final coalgebra of the finite powerset functor
N Veltri
6th International Conference on Formal Structures for Computation and …, 2021
62021
Partiality and container monads
T Uustalu, N Veltri
Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017
62017
Two set-based implementations of quotients in type theory.
N Veltri
SPLST 1525, 194-205, 2015
62015
Constructive final semantics of finite bags
P Joram, N Veltri
14th International Conference on Interactive Theorem Proving (ITP 2023), 2023
52023
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20