Les Grammaires Minimalistes répondent à un formalisme inspirés des travaux de la théorie générative et formalisées par Ed Stabler dans les années 90. Elles se proposent d'analyser un énoncé d'une langue naturel à partir de ses composantes lexicales, en s'appuyant sur les relations syntaxiques qui existent entre elles. La notion de minimalisme provient de la simplicité et du nombre de règles mises en oeuvre pour aboutir à l'analyse. A partir de ces analyses, nous avons étendu ce formalisme pour obtenir une représentation logique d'ordre supérieur représentant le sens de la phrase. Pour cela, nous nous rapprochons des grammaires de Lambeck et utilisons le $\lambda$-calcul, pour donner un nouveau formalisme des Grammaires Minimalistes. En particulier, nous utilisons une représentation arborescente dans laquelle nous introduisons des hypothèses. Une fois ces places existantes dans la dérivation, nous les substituons par leur contenu réel en temps voulu. Dans la contre partie sémantique, les hypothèses seront des $\lambda$-termes avec contextes, qui nous permettrons une nouvelle abstraction plus tard dans la dérivation afin de nous donner une représentation sémantique.
