Niccolò Veltri

From MaRDI portal
Person:1675788

Available identifiers

zbMath Open veltri.niccoloDBLP169/1163WikidataQ102715665 ScholiaQ102715665MaRDI QIDQ1675788

List of research outcomes





PublicationDate of PublicationType
Normalization by evaluation for the lambek calculus2025-01-09Paper
Proof theory of skew non-commutative \texttt{MILL}2025-01-09Paper
Inductive and coinductive predicate liftings for effectful programs2024-12-17Paper
Constructive final semantics of finite bags2024-11-26Paper
Maximally multi-focused proofs for skew non-commutative \texttt{MILL}2024-02-28Paper
Streams of approximations, equivalence of recursive effectful programs2023-06-30Paper
Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor.2023-06-23Paper
Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda2023-02-03Paper
Bicategories in univalent foundations2022-12-09Paper
Partiality and Container Monads2022-12-09Paper
https://portal.mardi4nfdi.de/entity/Q50890352022-07-18Paper
Coherence via focusing for symmetric skew monoidal categories2022-06-24Paper
The sequent calculus of skew monoidal categories2022-05-03Paper
Eilenberg-Kelly reloaded2022-04-29Paper
Proof Theory of Partially Normal Skew Monoidal Categories2022-01-10Paper
The sequent calculus of skew monoidal categories2021-12-08Paper
Variations on Noetherianness2021-12-02Paper
Constructing higher inductive types as groupoid quotients2021-05-25Paper
Deductive Systems and Coherence for Skew Prounital Closed Categories2021-01-11Paper
https://portal.mardi4nfdi.de/entity/Q51416202020-12-18Paper
En garde! Unguarded iteration for reversible computation in the delay monad2020-05-05Paper
Formalizing Restriction Categories2019-09-18Paper
Quotienting the delay monad by weak bisimilarity2018-12-04Paper
The delay monad and restriction categories2017-11-03Paper
Finiteness and rational sequences, constructively2017-10-23Paper
Quotienting the delay monad by weak bisimilarity2016-02-25Paper

Research outcomes over time

This page was built for person: Niccolò Veltri