La fonction d'identité en lambda calculus (fr)

Après avoir introduit les expressions du λ calculus, on voit aujourd'hui comment appliquer une fonction sur un argument, à travers la fonction d'identité.