TY - RPRT TI - On Feller Continuity and Full Abstraction (Long Version) AU - Gilles Barthe AU - Raphaëlle Crubillé AU - Ugo Dal Lago AU - Francesco Gavazzo PY - 2022 UR - https://arxiv.org/abs/2207.10590 ID - 2207.10590 ER -