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 $\lambda$-calculi endowed with operators for sampling from continuous distributions. On the one hand, we show that bisimilarity, logica…