Categorial grammars with iterated types form a strict hierarchy of k-valued languages

Denis Béchet, Alexandre Ja. Dikovsky, Annie Foret. Categorial grammars with iterated types form a strict hierarchy of k-valued languages. Theoretical Computer Science, 450:22-30, 2012. [doi]

Abstract

Abstract is missing.