Niccolò Veltri

Available identifiers

zbMath Open veltri.niccoloDBLP169/1163WikidataQ102715665 ScholiaQ102715665MaRDI QIDQ1675788

List of research outcomes

Publication	Date of Publication	Type
Normalization by evaluation for the lambek calculus	2025-01-09	Paper
Proof theory of skew non-commutative \texttt{MILL}	2025-01-09	Paper
Inductive and coinductive predicate liftings for effectful programs	2024-12-17	Paper
Constructive final semantics of finite bags	2024-11-26	Paper
Maximally multi-focused proofs for skew non-commutative \texttt{MILL}	2024-02-28	Paper
Streams of approximations, equivalence of recursive effectful programs	2023-06-30	Paper
Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor.	2023-06-23	Paper
Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda	2023-02-03	Paper
Bicategories in univalent foundations	2022-12-09	Paper
Partiality and Container Monads	2022-12-09	Paper
https://portal.mardi4nfdi.de/entity/Q5089035	2022-07-18	Paper
Coherence via focusing for symmetric skew monoidal categories	2022-06-24	Paper
The sequent calculus of skew monoidal categories	2022-05-03	Paper
Eilenberg-Kelly reloaded	2022-04-29	Paper
Proof Theory of Partially Normal Skew Monoidal Categories	2022-01-10	Paper
The sequent calculus of skew monoidal categories	2021-12-08	Paper
Variations on Noetherianness	2021-12-02	Paper
Constructing higher inductive types as groupoid quotients	2021-05-25	Paper
Deductive Systems and Coherence for Skew Prounital Closed Categories	2021-01-11	Paper
https://portal.mardi4nfdi.de/entity/Q5141620	2020-12-18	Paper
En garde! Unguarded iteration for reversible computation in the delay monad	2020-05-05	Paper
Formalizing Restriction Categories	2019-09-18	Paper
Quotienting the delay monad by weak bisimilarity	2018-12-04	Paper
The delay monad and restriction categories	2017-11-03	Paper
Finiteness and rational sequences, constructively	2017-10-23	Paper
Quotienting the delay monad by weak bisimilarity	2016-02-25	Paper

Research outcomes over time

This page was built for person: Niccolò Veltri