3 citations · 3 across the 4 of their papers we have counts for
4 papers
Monadic Intersection Types, Relationally (Extended Version)
Francesco Gavazzo, Riccardo Treglia, Gabriele Vanoni
We extend intersection types to a computational -calculus with algebraic operations à la Plotkin and Power. We achieve this by considering monadic intersections, whereby computa…
Allegories of Symbolic Manipulations
Francesco Gavazzo
Moving from the mathematical theory of (abstract) syntax, we develop a general relational theory of symbolic manipulation parametric with respect to, and accounting for, general no…
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…