| 2009 | ||
|---|---|---|
| 2 | Maribel Fernández, Nikolaos Siafakas: New Developments in Environment Machines. Electr. Notes Theor. Comput. Sci. 237: 57-73 (2009) | |
| 2007 | ||
| 1 | Nikolaos Siafakas: A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine. Electr. Notes Theor. Comput. Sci. 171(3): 111-126 (2007) | |
| 1 | Maribel Fernández | [2] |