Ugo Dal Lago

activity

20212026

most citedOn Separation Logic, Computational Independence, and Pseudorandomness (Extended Version)

1 citations · 2 across the 9 of their papers we have counts for

collaborators

Showing 2022Show all

2 papers · 1 filter

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.PL2022★ 1 cited

Multi types and reasonable space

Beniamino Accattoli, Ugo Dal Lago, Gabriele Vanoni

Accattoli, Dal Lago, and Vanoni have recently proved that the space used by the Space KAM, a variant of the Krivine abstract machine, is a reasonable space cost model for the lambd…