Les propositions [2] de systèmes déductifs décrivant les grammaires minimalistes d'Edward Stabler [3] permettent d'étudier l'interface syntaxe sémantique [1] . L'idée principale est que la forme logique n'est pas le résultat immédiat de la dérivation syntaxique mais qu'il existe une analyse sémantique construite en parallèle. Les deux analyses participent à la bonne formation de la phrases, en ceci que les dérivations correctes sont celles dont les deux pendants, syn-taxique et sémantique, sont synchronisés. Nous montrons ici comment l'utilisation de contextes permet cette synchronisation. Grammaires Minimalistes Catégorielles La fusion (merge) correspond aux règles clas-siques d'élimination de / et \ des grammaires catégorielles. Le déplacement (move), correspond à l'élimination du produit noté ×. Les règles du produit sont les suivantes, Γ x : A ∆ y : B [i×] Γ,∆ (x,y) : A × B Γ w : A × B ∆,x : A,y : B,∆ z : C [e×] ∆,Γ,∆ let(x,y) = (π 1 (w),π 2 (w))inz : C π 1 et π 2 sont les projections des deux composantes la contruction let u = v in w de la programmation fonctionnelle L'élimination du produit peut intervenir à tout moment dans la dérivation, dès que les hypo-thèses à décharger ont été introduites. En pratique, nous utilisons une règle avec trois prémisses, règles qui s'obtient à partir de celles ci-dessus: Γ w : A × B x : A x : A y : B,∆ y : B [e×] 3 Γ,∆ let(x,y) = (π 1 (w),π 2 (w))inz : C