48 citations · 321 across the 68 of their papers we have counts for
1 paper · 2 filters
Rémy Cerda, Ugo Dal Lago
We show that the tropical semiring over the natural numbers, when used as the grading space in graded coeffect typing, faithfully models the passage of time while simultaneously gu…