A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine. - Nikolaos Siafakas (DCM@ICALP, 2006)

New Developments in Environment Machines. - Maribel Fernández; Nikolaos Siafakas (WRS@RTA, 2008)

Labelled Lambda-calculi with Explicit Copy and Erase - Maribel Fernández; Nikolaos Siafakas (LINEARITY, 2009)

Labelled calculi of resources. - Maribel Fernández; Nikolaos Siafakas (J. Log. Comput., 2014)

Do We Need a Hippocratic Oath for Artificial Intelligence Scientists? - Nikolaos Siafakas (AI Mag., 2021)