Daniel Schwencke

According to our database1, Daniel Schwencke authored at least 7 papers between 2008 and 2014.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Compositional and effectful recursive specification formats: distributive laws and the semantics of recursion.
PhD thesis, 2014

2013
Abstract GSOS Rules and a Modular Treatment of Recursive Definitions.
Log. Methods Comput. Sci., 2013

2011
A Category Theoretic View of Nondeterministic Recursive Program Schemes.
Proceedings of the Computer Science Logic, 2011

2010
Coequational logic for accessible functors.
Inf. Comput., 2010

CIA Structures and the Semantics of Recursion.
Proceedings of the Foundations of Software Science and Computational Structures, 2010

2009
Complete Iterativity for Algebras with Effects.
Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008
Coequational Logic for Finitary Functors.
Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008


  Loading...