En physique, comme en sciences de manière générale, il faut isoler le mieux possible les paramètres afin d'être sûr de bien étudier le phénomène. Parmi les paramètres à prendre en compte, il y a un ...

Le lambda-calcul (ou λ-calcul) est un langage de programmation théorique inventé par Alonzo Church dans les années 1930. Ce langage a été le premier utilisé pour définir et caractériser les fonctions ...