Tarmo Uustalu. A Note on Strong Dinaturality, Initial Algebras and Uniform Parameterized Fixpoint Operators. In Luigi Santocanale, editor, 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010. pages 77-82, Laboratoire d'Informatique Fondamentale de Marseille, 2010. [doi]
Abstract is missing.