The following pages link to Niccolò Veltri (Q1675788):
Displaying 24 items.
- The delay monad and restriction categories (Q1675789) (← links)
- Eilenberg-Kelly reloaded (Q2133479) (← links)
- The sequent calculus of skew monoidal categories (Q2134838) (← links)
- Coherence via focusing for symmetric skew monoidal categories (Q2148789) (← links)
- En garde! Unguarded iteration for reversible computation in the delay monad (Q2176686) (← links)
- Formalizing CCS and \(\pi\)-calculus in Guarded Cubical Agda (Q2683037) (← links)
- Quotienting the Delay Monad by Weak Bisimilarity (Q2787419) (← links)
- Quotienting the delay monad by weak bisimilarity (Q4559601) (← links)
- (Q4989403) (← links)
- (Q5013829) (← links)
- The Sequent Calculus of Skew Monoidal Categories (Q5014602) (← links)
- Proof Theory of Partially Normal Skew Monoidal Categories (Q5019679) (← links)
- Bicategories in univalent foundations (Q5055496) (← links)
- Partiality and Container Monads (Q5056003) (← links)
- (Q5089035) (← links)
- (Q5141620) (← links)
- Formalizing Restriction Categories (Q5195282) (← links)
- Finiteness and rational sequences, constructively (Q5372009) (← links)
- Type-Theoretic Constructions of the Final Coalgebra of the Finite Powerset Functor. (Q6159938) (← links)
- Constructive final semantics of finite bags (Q6643001) (← links)
- Inductive and coinductive predicate liftings for effectful programs (Q6653761) (← links)
- Normalization by evaluation for the lambek calculus (Q6659901) (← links)
- Proof theory of skew non-commutative \texttt{MILL} (Q6659903) (← links)
- Directed equality with dinaturality (Q6744665) (← links)
