Pour une implémentation plus complète de la grammaire de Montague (Voir [Evrard, 1998b]) on se référera à [Ricordel, 1996]. Nous allons présenter ici une implémentation du calcul de Lambek/Gentzen
