in Abstract Categorial Grammars Christian Retor´e, Sylvain Salvati This paper solves a natural but still open question: can Abstract Categorial Grammars (ACGs) have been defined by de Groote as a unifying way to represent formal grammars within simply lambda-caculus. Despite their name, up to now there was no faithful representation of usual categorial grammars in ACGs. This paper shows Non-Associative Lambek grammars as well as their derivations can be defined using ACGs of order two and discusses the outcomes of such a representation.