| Quotienting the delay monad by weak bisimilarity J Chapman, T Uustalu, N Veltri Mathematical Structures in Computer Science 29 (1), 67-92, 2019 | 34 | 2019 |
| 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 | 32 | 2021 |
| Formalizing 𝜋-calculus in guarded cubical Agda N Veltri, A Vezzosi Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020 | 29 | 2020 |
| 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 | 26 | 2019 |
| Quotienting the delay monad by weak bisimilarity J Chapman, T Uustalu, N Veltri International Colloquium on Theoretical Aspects of Computing, 110-125, 2015 | 26 | 2015 |
| The sequent calculus of skew monoidal categories T Uustalu, N Veltri, N Zeilberger Electronic Notes in Theoretical Computer Science 341, 345-370, 2018 | 22 | 2018 |
| A type-theoretical study of nontermination N Veltri PhD thesis, Tallinn University of Technology, 2017 | 16 | 2017 |
| The delay monad and restriction categories T Uustalu, N Veltri International Colloquium on Theoretical Aspects of Computing, 32-50, 2017 | 14 | 2017 |
| Guarded recursion in agda via sized types N Veltri, N van der Weide 4th International Conference on Formal Structures for Computation and …, 2019 | 13 | 2019 |
| 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 | 11 | 2020 |
| Eilenberg-kelly reloaded T Uustalu, N Veltri, N Zeilberger Electronic Notes in Theoretical Computer Science 352, 233-256, 2020 | 11 | 2020 |
| Coherence via focusing for symmetric skew monoidal categories N Veltri Logic, Language, Information, and Computation: 27th International Workshop …, 2021 | 9 | 2021 |
| 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 | 9 | 2019 |
| Proof theory of partially normal skew monoidal categories T Uustalu, N Veltri, N Zeilberger arXiv preprint arXiv:2101.10487, 2021 | 8 | 2021 |
| Deductive systems and coherence for skew prounital closed categories T Uustalu, N Veltri, N Zeilberger arXiv preprint arXiv:2101.03809, 2021 | 8 | 2021 |
| Proof theory of skew non-commutative MILL T Uustalu, N Veltri, CS Wan arXiv preprint arXiv:2204.06727, 2022 | 7 | 2022 |
| Constructing higher inductive types as groupoid quotients N Veltri, N Van Der Weide Logical Methods in Computer Science 17, 2021 | 7 | 2021 |
| Constructive final semantics of finite bags P Joram, N Veltri 14th International Conference on Interactive Theorem Proving (ITP 2023), 2023 | 6 | 2023 |
| Type-theoretic constructions of the final coalgebra of the finite powerset functor N Veltri 6th International Conference on Formal Structures for Computation and …, 2021 | 6 | 2021 |
| Partiality and container monads T Uustalu, N Veltri Programming Languages and Systems: 15th Asian Symposium, APLAS 2017, Suzhou …, 2017 | 6 | 2017 |
Tarmo UustaluProfessor, Reykjavik University / Lead research scientist, Tallinn University of TechnologyVerified email at ru.is
