Skip to content
cs-conference-ranking.org

Niccol Veltri

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

12

Venues

9

Active years

2015–2025

Best venue rank

C

Where they publish

Papers

12 indexed papers, newest first.

YearVenueTitleAuthors
2025TABLEAUXAn Agda Formalization of Nonassociative Lambek Calculus and its Metatheory.Niccol Veltri, Cheng-Syuan Wan
2023ITPConstructive Final Semantics of Finite Bags.Philipp Joram, Niccol Veltri
2023WoLLICMaximally Multi-focused Proofs for Skew Non-Commutative MILL.Niccol Veltri
2022MPCStreams of Approximations, Equivalence of Recursive Effectful Programs.Niccol Veltri, Niels F. W. Voorneveld
2021FSCDType-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor.Niccol Veltri
2021WoLLICCoherence via Focusing for Symmetric Skew Monoidal Categories.Niccol Veltri
2020CPPFormalizing π-calculus in guarded cubical Agda.Niccol Veltri, Andrea Vezzosi
2020MFPSEilenberg-Kelly Reloaded.Tarmo Uustalu, Niccol Veltri, Noam Zeilberger
2019MPCEn Garde! Unguarded Iteration for Reversible Computation in the Delay Monad.Robin Kaarsgaard, Niccol Veltri
2017APLASPartiality and Container Monads.Tarmo Uustalu, Niccol Veltri
2017ICTACThe Delay Monad and Restriction Categories.Tarmo Uustalu, Niccol Veltri
2015ICTACQuotienting the Delay Monad by Weak Bisimilarity.James Chapman, Tarmo Uustalu, Niccol Veltri