Niccolò Veltri

Available identifiers

Publication	Date of Publication	Type
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
https://portal.mardi4nfdi.de/entity/Q5013829	2021-12-02	Paper
https://portal.mardi4nfdi.de/entity/Q4989403	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

No records found.

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Niccolò Veltri