The meaning-text theory is a linguistic theory aiming to describe the correspondence between the meaning and the text of an utterance with a formal device simulating the linguistic activity of a native speaker. We implemented a first version of a model of this theory with abstract categorial grammars, a grammatical formalism based on lambda-calculus. This implementation covers the syntax-semantic interface of the meaning-text theory, i.e. not only the three semantic, deep-syntactic and surface-syntactic representation levels of the theory but also their interface to perform text generation. This implementation hinges upon abstract categorial grammars composition in order to encode level interfaces as transduction operate.