“…These notions are equivalent (Asperti et al, 1994), and their common core idea -describing computation by local and asynchronous conditions on routing of paths -inspired the design of efficient parallel abstract machines (Mackie, 1995;Danos et al, 1997;Laurent, 2001;Pinto, 2001;Pedicini and Quaglia, 2007;Dal Lago et al, 2014;Pedicini et al, 2014;Dal Lago et al, 2015, among others). More recently, the geometry of interaction (GoI) approach has been fruitfully employed for semantic investigations which characterised quantitative properties of programs, with respect to both time (Dal Lago, 2009;Perrinel, 2014;Aubert et al, 2016) and space complexity (Aubert and Seiller, 2014;Aubert and Seiller, 2015;Mazza, 2015b;Mazza and Terui, 2015).…”