BibSonomy :: author :: Schwencke ::

The blue social bookmark and publication sharing system.

bookmarks

bookmarks per page: 5 10 20 50 100

(5)

<< < 1 > >>

A Category Theoretic View of Nondeterministic Recursive Program Schemes.
Daniel Schwencke CSL, volume 12 of LIPIcs, page 496-511. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, (2011)
to dblp by dblp on Sep 11, 2011, 12:00 AM
URL | BibTeX
Coequational logic for accessible functors.
Daniel Schwencke Inf. Comput. 208(12):1469-1489 (2010)
to dblp by dblp on Nov 21, 2010, 12:00 AM
URL | BibTeX
CIA Structures and the Semantics of Recursion.
Stefan Milius, Lawrence S. Moss, and Daniel Schwencke FOSSACS, volume 6014 of Lecture Notes in Computer Science, page 312-327. Springer, (2010)
to dblp by dblp on Mar 15, 2010, 12:00 AM
URL | BibTeX
Complete Iterativity for Algebras with Effects.
Stefan Milius, Thorsten Palm, and Daniel Schwencke CALCO, volume 5728 of Lecture Notes in Computer Science, page 34-48. Springer, (2009)
to dblp by dblp on Oct 5, 2009, 12:00 AM
URL | BibTeX
Coequational Logic for Finitary Functors.
Daniel Schwencke Electr. Notes Theor. Comput. Sci. 203(5):243-262 (2008)
to dblp by dblp on Jun 11, 2008, 12:00 AM
URL | BibTeX

<< < 1 > >>publications per page: 5 10 20 50 100