The following pages link to Daniel Schwencke (Q618172):
Displaying 6 items.
- Coequational logic for accessible functors (Q618173) (← links)
- Abstract GSOS Rules and a Modular Treatment of Recursive Definitions (Q2850841) (← links)
- Coequational Logic for Finitary Functors (Q2873671) (← links)
- Complete Iterativity for Algebras with Effects (Q2888475) (← links)
- A Category Theoretic View of Nondeterministic Recursive Program Schemes. (Q2915707) (← links)
- CIA Structures and the Semantics of Recursion (Q3557859) (← links)