3 citations · 4 across the 5 of their papers we have counts for
4 papers · 1 filter
Open Higher-Order Logic (Long Version)
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
We introduce a variation on Barthe et al.'s higher-order logic in which formulas are interpreted as predicates over open rather than closed objects. This way, concepts which have a…
On Feller Continuity and Full Abstraction (Long Version)
Gilles Barthe, Raphaëlle Crubillé, Ugo Dal Lago +1
We study the nature of applicative bisimilarity in -calculi endowed with operators for sampling from continuous distributions. On the one hand, we show that bisimilarity, logica…
Quantitative and Metric Rewriting: Abstract, Non-Expansive, and Graded Systems
Francesco Gavazzo, Cecilia Di Florio
We introduce a general theory of quantitative and metric rewriting systems, namely systems with a rewriting relation enriched over quantales modelling abstract quantities. We devel…
On Reinforcement Learning, Effect Handlers, and the State Monad
Ugo Dal Lago, Francesco Gavazzo, Alexis Ghyselen
We study the algebraic effects and handlers as a way to support decision-making abstractions in functional programs, whereas a user can ask a learning algorithm to resolve choices…