Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework. - Victor Arrial; Giulio Guerrieri; Delia Kesner (Proc. ACM Program. Lang., 2023)

Meaningfulness and Genericity in a Subsuming Framework (Invited Talk). - Delia Kesner; Victor Arrial; Giulio Guerrieri (FSCD, 2024)

The Benefits of Diligence. - Victor Arrial; Giulio Guerrieri; Delia Kesner (IJCAR (2), 2024)

Genericity Through Stratification. - Victor Arrial; Giulio Guerrieri; Delia Kesner (LICS, 2024)

Meaningfulness and Genericity in a Subsuming Framework. - Delia Kesner; Victor Arrial; Giulio Guerrieri (CoRR, 2024)