@riemann66
Effectivement, le langage, qu’il soit linguistique, mathématique, est un réductionnisme de l’imagination mêlé de perception, ce que vous appelez le lambda-calcul. Il me semble qu’il s’agit de la modélisation la plus complète. Le langage me semble être qu’une extériorisation partielle afin d’échanger et de renouveler ce que vous appelez le lambda-calcul. C’est, il me semble, l’esprit de votre formule mathématique.