Le lambda-cacul est une théorie mathématique. D'après ce que j'en comprends, c'est un système de logique visant à formaliser les fonctions du langage (dans un sens large). Il semble que ce système ait d'abord servi de base au développement des systèmes de programmation informatique actuels et, par extension, ait aussi été utilisé dans des disciplines étudiant le langage (linguistique, sémantique, sémiologie, etc.).