Nikolaos Siafakas

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

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)

	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)

Coauthor Index