48 citations · 321 across the 68 of their papers we have counts for
5 papers · 1 filter
Resource Transition Systems and Full Abstraction for Linear Higher-Order Effectful Systems
Ugo Dal Lago, Francesco Gavazzo
We investigate program equivalence for linear higher-order(sequential) languages endowed with primitives for computational effects. More specifically, we study operationally-based…
The Space of Interaction (long version)
Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni
The space complexity of functional programs is not well understood. In particular, traditional implementation techniques are tailored to time efficiency, and space efficiency induc…
On Measure Quantifiers in First-Order Arithmetic (Long Version)
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
We study the logic obtained by endowing the language of first-order arithmetic with second-order measure quantifiers. This new kind of quantification allows us to express that the…
Modal Reasoning = Metric Reasoning, via Lawvere
Ugo Dal Lago, Francesco Gavazzo
Graded modal types systems and coeffects are becoming a standard formalism to deal with context-dependent computations where code usage plays a central role. The theory of program…
On Counting Propositional Logic
Melissa Antonelli, Ugo Dal Lago, Paolo Pistone
We study counting propositional logic as an extension of propositional logic with counting quantifiers. We prove that the complexity of the underlying decision problem perfectly ma…