Niccolò Veltri

Publications

• Normalization by Evaluation for the Lambek Calculus. Niccolò Veltri. 2022.
• Bicategories in Univalent Foundations. Benedikt Ahrens, Dan Frumin, Marco Maggesi, Niccolò Veltri, Niels van der Weide. 2022.
• Inductive and Coinductive Predicate Liftings for Effectful Programs. Niccolò Veltri, Niels F. W. Voorneveld. 2021.
• Proof Theory of Partially Normal Skew Monoidal Categories. Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger. 2021.
• Constructing Higher Inductive Types as Groupoid Quotients. Niccolò Veltri, Niels van der Weide. 2021.
• Deductive Systems and Coherence for Skew Prounital Closed Categories. Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger. 2021.
• The Sequent Calculus of Skew Monoidal Categories. Tarmo Uustalu, Niccolò Veltri, Noam Zeilberger. 2020.
• Ticking Clocks as Dependent Right Adjoints: Denotational Semantics for Clocked Type Theory. Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri. 2020.
• Bisimulation as Path Type for Guarded Recursive Types. Rasmus Ejlers Møgelberg, Niccolò Veltri. 2018.
• Variations on Noetherianness. Denis Firsov, Tarmo Uustalu, Niccolò Veltri. 2016.