Coherence via focusing for symmetric skew monoidal and symmetric skew closed categories von Veltri, Niccolò

Volltext

Normalization by Evaluation for the Lambek Calculus von Veltri, Niccolò

Volltext

Formalizing CCS and π-calculus in Guarded Cubical Agda von Veltri, Niccolò, Vezzosi, Andrea

Volltext

Maximally Multi-focused Proofs for Skew Non-Commutative MILL von Veltri, Niccolò

Volltext

Constructing Higher Inductive Types as Groupoid Quotients von Veltri, Niccolò, van der Weide, Niels

Volltext

Coherence via Focusing for Symmetric Skew Monoidal Categories von Veltri, Niccolò

Volltext

Quotienting the delay monad by weak bisimilarity von CHAPMAN, JAMES, UUSTALU, TARMO, VELTRI, NICCOLÒ

Volltext

Bicategories in univalent foundations von Ahrens, Benedikt, Frumin, Dan, Maggesi, Marco, Veltri, Niccolò, van der Weide, Niels

Volltext

Proof Theory of Skew Non-Commutative MILL von Uustalu, Tarmo, Veltri, Niccolò, Wan, Cheng-Syuan

Volltext

Proof Theory of Partially Normal Skew Monoidal Categories von Uustalu, Tarmo, Veltri, Niccolò, Zeilberger, Noam

Volltext

Deductive Systems and Coherence for Skew Prounital Closed Categories von Uustalu, Tarmo, Veltri, Niccolò, Zeilberger, Noam

Volltext

Finiteness and rational sequences, constructively von UUSTALU, TARMO, VELTRI, NICCOLÒ

Volltext

Bisimulation as path type for guarded recursive types von Møgelberg, Rasmus Ejlers, Veltri, Niccolò

Volltext

Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory von Bassel Mannaa, Rasmus Ejlers Møgelberg, Niccolò Veltri

Volltext

Streams of Approximations, Equivalence of Recursive Effectful Programs von Veltri, Niccoló, Voorneveld, Niels

Volltext

Inductive and Coinductive Predicate Liftings for Effectful Programs von Veltri, Niccolò, Voorneveld, Niels F.W.

Volltext

Formalizing Restriction Categories von Chapman, James, Uustalu, Tarmo, Veltri, Niccolò

Volltext

Variations on Noetherianness von Firsov, Denis, Uustalu, Tarmo, Veltri, Niccolò

Volltext

En Garde! Unguarded Iteration for Reversible Computation in the Delay Monad von Kaarsgaard, Robin, Veltri, Niccolò

Volltext

The Delay Monad and Restriction Categories von Uustalu, Tarmo, Veltri, Niccolò

Volltext