On Computational Indistinguishability and Logical Relations.

Ugo Dal Lago, Zeinab Galal, Giulia Giusti

Browse the full APLAS paper archive.