We study the nature of applicative bisimilarity in λ-calculi endowed
wit...
Logical relations are one of the most powerful techniques in the theory ...
Type-two constructions abound in cryptography: adversaries for encryptio...
We study the category Cstabm of measurable cones and measurable stable
f...