Je ne pense pas qu'il y ait à parler sur cet article de calcul de prédicat ou de liaison de variables, qui pose d'autres problèmes pour l'analyse syntaxique (liés à l'alphaéquivalence) n'ayant pas grand chose à voir. L'usage de sources n'est qu'un moyen, mais qui en l'occurrence t'aurait été bien utile pour juger de la correction et de la pertinence de ce que tu as écrit, non ?