8 citations · 19 across the 10 of their papers we have counts for
1 paper · 2 filters
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 $\…