The Spirit of Node Replication. - Delia Kesner; Loïc Peyrot; Daniel Ventura (FoSSaCS, 2021)

A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications. - José Espírito Santo; Delia Kesner; Loïc Peyrot (FoSSaCS, 2022)

Solvability for Generalized Applications. - Delia Kesner; Loïc Peyrot (FSCD, 2022)

A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications (Long Version). - José Espírito Santo; Delia Kesner; Loïc Peyrot (CoRR, 2022)

Node Replication: Theory And Practice. - Delia Kesner; Loïc Peyrot; Daniel Ventura (Log. Methods Comput. Sci., 2024)

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications. - José Espírito Santo; Delia Kesner; Loïc Peyrot (Log. Methods Comput. Sci., 2024)

The Cost of Skeletal Call-By-Need, Smoothly. - Beniamino Accattoli; Francesco Magliocca; Loïc Peyrot; Claudio Sacerdoti Coen (FSCD, 2025)

Polymorphic Records for Dynamic Languages. - Giuseppe Castagna; Loïc Peyrot (Proc. ACM Program. Lang., 2025)