Nikolaos Siafakas

According to our database1, Nikolaos Siafakas authored at least 5 papers between 2006 and 2021.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2021
Do We Need a Hippocratic Oath for Artificial Intelligence Scientists?
AI Mag., 2021

2014
Labelled calculi of resources.
J. Log. Comput., 2014

2009
Labelled Lambda-calculi with Explicit Copy and Erase
Proceedings of the Proceedings First International Workshop on Linearity, 2009

2008
New Developments in Environment Machines.
Proceedings of the 8th International Workshop on Reduction Strategies in Rewriting and Programming, 2008

2006
A Fully Labelled Lambda Calculus: Towards Closed Reduction in the Geometry of Interaction Machine.
Proceedings of the Second International Workshop on Developments in Computational Models, 2006


  Loading...