Normal Form Bisimulations By Value. - Beniamino Accattoli; Claudia Faggian; Adrienne Lancelot (CoRR, 2023)

Light Genericity. - Beniamino Accattoli; Adrienne Lancelot (FoSSaCS (2), 2024)

Mirroring Call-By-Need, or Values Acting Silly. - Beniamino Accattoli; Adrienne Lancelot (FSCD, 2024)

Separating Terms by Means of Multi Types, Coinductively. - Adrienne Lancelot (TYPES, 2024)

Interaction Equivalence. - Beniamino Accattoli; Adrienne Lancelot; Giulio Manzonetto; Gabriele Vanoni (Proc. ACM Program. Lang., 2025)