An Operational Semantics for Distributed Lazy Evaluation. - Lidia Sánchez-Gil; Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (Trends in Functional Programming, 2009)

Relating function spaces to resourced function spaces. - Lidia Sánchez-Gil; Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (SAC, 2011)

A Locally Nameless Representation for a Natural Semantics for Lazy Evaluation. - Lidia Sánchez-Gil; Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (ICTAC, 2012)

The Role of Indirections in Lazy Natural Semantics. - Lidia Sánchez-Gil; Mercedes Hidalgo-Herrero; Yolanda Ortega-Mallén (Ershov Memorial Conference, 2014)