Niccolò Veltri

According to our database, Niccolò Veltri authored at least 28 papers between 2015 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2023

Formalizing CCS and <i>π</i>-calculus in Guarded Cubical Agda.

Niccolò Veltri, Andrea Vezzosi

J. Log. Algebraic Methods Program., February, 2023

Maximally Multi-focused Proofs for Skew Non-Commutative MILL.

Niccolò Veltri

Proceedings of the Logic, Language, Information, and Computation, 2023

Constructive Final Semantics of Finite Bags.

Philipp Joram, Niccolò Veltri

Proceedings of the 14th International Conference on Interactive Theorem Proving, 2023

2022

Report on PPDP/LOPSTR 2021.

Niccolò Veltri

ACM SIGLOG News, 2022

Proof Theory of Skew Non-Commutative MILL.

Tarmo Uustalu, Niccolò Veltri, Cheng-Syuan Wan

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Normalization by Evaluation for the Lambek Calculus.

Niccolò Veltri

Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, 2022

Streams of Approximations, Equivalence of Recursive Effectful Programs.

Niccolò Veltri, Niels F. W. Voorneveld

Proceedings of the Mathematics of Program Construction - 14th International Conference, 2022

2021

Bicategories in univalent foundations.

Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide

Math. Struct. Comput. Sci., 2021

Constructing Higher Inductive Types as Groupoid Quotients.

Niccolò Veltri, Niels van der Weide

Log. Methods Comput. Sci., 2021

Inductive and Coinductive Predicate Liftings for Effectful Programs.

Niccolò Veltri, Niels F. W. Voorneveld

Proceedings of the Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, 2021

Coherence via Focusing for Symmetric Skew Monoidal Categories.

Niccolò Veltri

Proceedings of the Logic, Language, Information, and Computation, 2021

Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor.

Niccolò Veltri

Proceedings of the 6th International Conference on Formal Structures for Computation and Deduction, 2021

2020

Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory.

Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri

Log. Methods Comput. Sci., 2020

Proof Theory of Partially Normal Skew Monoidal Categories.

Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger

Proceedings of the 3rd Annual International Applied Category Theory Conference 2020, 2020

Deductive Systems and Coherence for Skew Prounital Closed Categories.

Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger

Proceedings of the Proceedings Fifteenth Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2020

Eilenberg-Kelly Reloaded.

Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger

Proceedings of the 36th Conference on the Mathematical Foundations of Programming Semantics, 2020

Formalizing π-calculus in guarded cubical Agda.

Niccolò Veltri, Andrea Vezzosi

Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2020

2019

Bisimulation as path type for guarded recursive types.

Rasmus Ejlers Møgelberg, Niccolò Veltri

Proc. ACM Program. Lang., 2019

Quotienting the delay monad by weak bisimilarity.

James Chapman, Tarmo Uustalu, Niccolò Veltri

Math. Struct. Comput. Sci., 2019

Guarded Recursion in Agda via Sized Types.

Niccolò Veltri, Niels van der Weide

Proceedings of the 4th International Conference on Formal Structures for Computation and Deduction, 2019

En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad.

Robin Kaarsgaard, Niccolò Veltri

Proceedings of the Mathematics of Program Construction - 13th International Conference, 2019

2018

The Sequent Calculus of Skew Monoidal Categories.

Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

2017

Formalizing Restriction Categories.

James Chapman, Tarmo Uustalu, Niccolò Veltri

J. Formaliz. Reason., 2017

Finiteness and rational sequences, constructively.

Tarmo Uustalu, Niccolò Veltri

J. Funct. Program., 2017

The Delay Monad and Restriction Categories.

Tarmo Uustalu, Niccolò Veltri

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

Partiality and Container Monads.

Tarmo Uustalu, Niccolò Veltri

Proceedings of the Programming Languages and Systems - 15th Asian Symposium, 2017

2016

Variations on Noetherianness.

Denis Firsov, Tarmo Uustalu, Niccolò Veltri

Proceedings of the Proceedings 6th Workshop on Mathematically Structured Functional Programming, 2016

2015

Two set-based implementations of quotients in type theory.

Niccolò Veltri

Proceedings of the 14th Symposium on Programming Languages and Software Tools (SPLST'15), 2015