Nikolaos Siafakas

List of publications from the DBLP Bibliography Server - FAQ

2009

2 EE Maribel Fernández, Nikolaos Siafakas: New Developments in Environment Machines. Electr. Notes Theor. Comput. Sci. 237: 57-73 (2009)

2007

1 EE 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)

2009
2	EE	Maribel Fernández, Nikolaos Siafakas: New Developments in Environment Machines. Electr. Notes Theor. Comput. Sci. 237: 57-73 (2009)
2007
1	EE	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)

Coauthor Index