research
∙
07/21/2022
On Feller Continuity and Full Abstraction (Long Version)
We study the nature of applicative bisimilarity in λ-calculi endowed wit...
share
research
∙
02/19/2020
On the Versatility of Open Logical Relations: Continuity, Automatic Differentiation, and a Containment Theorem
Logical relations are one of the most powerful techniques in the theory ...
research
∙
02/17/2020
On Higher-Order Cryptography (Long Version)
Type-two constructions abound in cryptography: adversaries for encryptio...
research
∙
05/01/2018