2 papers
cs.LO2022
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…
cs.LO2017
Metric Reasoning About -Terms: The General Case (Long Version)
Raphaëlle Crubillé, Ugo Dal Lago
In any setting in which observable properties have a quantitative flavour, it is natural to compare computational objects by way of \emph{metrics} rather than equivalences or parti…