2 papers
cs.LO2026
Staying Productive Under the Palm Trees. On Graded Coeffect Typing in the Tropical Semiring
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…
cs.LO2024
Reasonable Space for the -Calculus, Logarithmically
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
Can the -calculus be considered a reasonable computational model? Can we use it for measuring the time space consumption of algorithms? While the literature cont…