Structures Defined by Higher-Order Recursion Schemes

Arnaud Carayol. Structures Defined by Higher-Order Recursion Schemes. In Luigi Santocanale, editor, 7th Workshop on Fixed Points in Computer Science, FICS 2010, Brno, Czech Republic, August 21-22, 2010. pages 7, Laboratoire d'Informatique Fondamentale de Marseille, 2010. [doi]

Authors

Arnaud Carayol

This author has not been identified. Look up 'Arnaud Carayol' in Google