8 citations · 29 across the 15 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.CT2024
Di- is for Directed: First-Order Directed Type Theory via Dinaturality
Andrea Laretto, Fosco Loregian, Niccolò Veltri
We show how dinaturality plays a central role in the interpretation of directed type theory where types are interpreted as (1-)categories and directed equality is represented by $\…
cs.LO2024★ 2 cited
Semi-Substructural Logics with Additives
Niccolò Veltri, Cheng-Syuan Wan
This work concerns the proof theory of (left) skew monoidal categories and their variants (e.g. closed monoidal, symmetric monoidal), continuing the line of work initiated in recen…