Daniel Schwencke

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

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Compositional and effectful recursive specification formats: distributive laws and the semantics of recursion.

Daniel Schwencke

PhD thesis, 2014

2013

Abstract GSOS Rules and a Modular Treatment of Recursive Definitions.

Stefan Milius, Lawrence S. Moss, Daniel Schwencke

Log. Methods Comput. Sci., 2013

2011

A Category Theoretic View of Nondeterministic Recursive Program Schemes.

Daniel Schwencke

Proceedings of the Computer Science Logic, 2011

2010

Coequational logic for accessible functors.

Daniel Schwencke

Inf. Comput., 2010

CIA Structures and the Semantics of Recursion.

Stefan Milius, Lawrence S. Moss, Daniel Schwencke

Proceedings of the Foundations of Software Science and Computational Structures, 2010

2009

Complete Iterativity for Algebras with Effects.

Stefan Milius, Thorsten Palm, Daniel Schwencke

Proceedings of the Algebra and Coalgebra in Computer Science, 2009

2008

Coequational Logic for Finitary Functors.

Daniel Schwencke

Proceedings of the Ninth Workshop on Coalgebraic Methods in Computer Science, 2008