Quotienting the delay monad by weak bisimilarity J Chapman, T Uustalu, N Veltri International Colloquium on Theoretical Aspects of Computing, 110-125, 2015 | 22 | 2015 |
Quotienting the delay monad by weak bisimilarity J Chapman, T Uustalu, N Veltri Mathematical Structures in Computer Science 29 (1), 67-92, 2019 | 21 | 2019 |
Formalizing 𝜋-calculus in guarded cubical Agda N Veltri, A Vezzosi Proceedings of the 9th ACM SIGPLAN International Conference on Certified …, 2020 | 13 | 2020 |
The sequent calculus of skew monoidal categories T Uustalu, N Veltri, N Zeilberger Electronic Notes in Theoretical Computer Science 341, 345-370, 2018 | 13 | 2018 |
A type-theoretical study of nontermination N Veltri PhD thesis, Tallinn University of Technology, 2017 | 12 | 2017 |
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 | 11 | 2019 |
The delay monad and restriction categories T Uustalu, N Veltri International Colloquium on Theoretical Aspects of Computing, 32-50, 2017 | 11 | 2017 |
Bicategories in univalent foundations B Ahrens, D Frumin, M Maggesi, N Veltri, N van der Weide arXiv preprint arXiv:1903.01152, 2019 | 10 | 2019 |
Guarded recursion in agda via sized types N Veltri, NM van der Weide Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019 | 6 | 2019 |
Partiality and container monads T Uustalu, N Veltri Asian Symposium on Programming Languages and Systems, 406-425, 2017 | 6 | 2017 |
Two set-based implementations of quotients in type theory. N Veltri SPLST 1525, 194-205, 2015 | 6 | 2015 |
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory N Veltri, RE Møgelberg, B Mannaa Logical Methods in Computer Science 16, 2020 | 5 | 2020 |
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 | 5 | 2019 |
Variations on Noetherianness D Firsov, T Uustalu, N Veltri arXiv preprint arXiv:1604.01186, 2016 | 5 | 2016 |
Proof theory of partially normal skew monoidal categories T Uustalu, N Veltri, N Zeilberger arXiv preprint arXiv:2101.10487, 2021 | 4 | 2021 |
Deductive systems and coherence for skew prounital closed categories T Uustalu, N Veltri, N Zeilberger arXiv preprint arXiv:2101.03809, 2021 | 4 | 2021 |
Finiteness and rational sequences, constructively T Uustalu, N Veltri Journal of Functional Programming 27, 2017 | 4 | 2017 |
Eilenberg-Kelly Reloaded T Uustalu, N Veltri, N Zeilberger Electronic Notes in Theoretical Computer Science 352, 233-256, 2020 | 3 | 2020 |
Constructing Higher Inductive Types as Groupoid Quotients N van der Weide, N Veltri Logical Methods in Computer Science 17, 2021 | 2 | 2021 |
Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor N Veltri 6th International Conference on Formal Structures for Computation and …, 2021 | 2 | 2021 |