Denis Béchet, Alexandre Ja. Dikovsky, Annie Foret. Categorial Grammars with Iterated Types form a Strict Hierarchy of k-Valued Languages. In Béatrice Bouchou-Markhoff, Pascal Caron, Jean-Marc Champarnaud, Denis Maurel, editors, Implementation and Application of Automata - 16th International Conference, CIAA 2011, Blois, France, July 13-16, 2011. Proceedings. Volume 6807 of Lecture Notes in Computer Science, pages 42-52, Springer, 2011. [doi]