Niccol˛ Veltri
Niccol˛ Veltri
Researcher, Department of Software Science, Tallinn University of Technology
Verified email at cs.ioc.ee - Homepage
Title
Cited by
Cited by
Year
Quotienting the delay monad by weak bisimilarity
J Chapman, T Uustalu, N Veltri
International Colloquium on Theoretical Aspects of Computing, 110-125, 2015
202015
Quotienting the delay monad by weak bisimilarity
J Chapman, T Uustalu, N Veltri
Mathematical Structures in Computer Science 29 (1), 67-92, 2019
152019
Quotienting the delay monad by weak bisimilarity
J Chapman, T Uustalu, N Veltri
Mathematical Structures in Computer Science 29 (1), 67-92, 2019
152019
The delay monad and restriction categories
T Uustalu, N Veltri
International Colloquium on Theoretical Aspects of Computing, 32-50, 2017
92017
A type-theoretical study of nontermination
N Veltri
Ph. D. thesis, Tallinn University of Technology, 2017
92017
Formalizing 𝜋-calculus in guarded cubical Agda
N Veltri, A Vezzosi
Proceedings of the 9th ACM SIGPLAN International Conference on Certifiedá…, 2020
72020
Bicategories in univalent foundations
B Ahrens, D Frumin, M Maggesi, N Veltri, N van der Weide
arXiv preprint arXiv:1903.01152, 2019
62019
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
62019
Guarded recursion in agda via sized types
N Veltri, NM van der Weide
Dagstuhl: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik, 2019
62019
The sequent calculus of skew monoidal categories
T Uustalu, N Veltri, N Zeilberger
Electronic Notes in Theoretical Computer Science 341, 345-370, 2018
62018
Partiality and container monads
T Uustalu, N Veltri
Asian Symposium on Programming Languages and Systems, 406-425, 2017
52017
Two set-based implementations of quotients in type theory.
N Veltri
SPLST 1525, 194-205, 2015
52015
Variations on Noetherianness
D Firsov, T Uustalu, N Veltri
arXiv preprint arXiv:1604.01186, 2016
42016
Finiteness and rational sequences, constructively
T Uustalu, N Veltri
Journal of Functional Programming 27, 2017
32017
Proof theory of partially normal skew monoidal categories
T Uustalu, N Veltri, N Zeilberger
arXiv preprint arXiv:2101.10487, 2021
22021
Eilenberg-Kelly Reloaded
T Uustalu, N Veltri, N Zeilberger
Electronic Notes in Theoretical Computer Science 352, 233-256, 2020
22020
Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
B Mannaa, RE M°gelberg, N Veltri
arXiv preprint arXiv:2004.01709, 2020
22020
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
12019
Formalizing restriction categories
J Chapman, T Uustalu, N Veltri
Journal of Formalized Reasoning 10 (1), 1-36, 2017
12017
The Delay Monad and Restriction Categories
J Chapman, T Uustalu, N Veltri
NWPT 2013, 22, 2013
12013
The system can't perform the operation now. Try again later.
Articles 1–20