Redigerer Lambdakalkyle (avsnitt)

==== Eksempler ====
Noen eksempler vi nå kan definere i den rene lambdakalkylen er:
* <math> \mathrm{id} \equiv \lambda x. \, x</math>, identitesfunksjonen
* <math> \mathrm{K} \equiv \lambda x\,y.\; x</math> og <math>\mathrm{S} \equiv \lambda x\, y \, z.\; x z (y z)</math> fra [[kombinatorisk logikk]].
* <math> \mathrm{to-ganger} \equiv \lambda f\, x.\; f (f x)</math> som tar en funksjon og et argument, og sender argumentet to ganger gjennom funksjonen.

Hvis vi beveger oss bort fra den rene lambdakalkylen og godtar konstanter for tall og operasjoner som pluss, kan vi definere funksjoner slik som:
* <math>\mathrm{f} \equiv \lambda x.\; x * 2</math>, som er funksjonen som tar et tall og ganger med to.
* <math>\mathrm{kvadrer} \equiv \lambda x.\; x * x</math>, som kvadrere et tall.

Det er viktig å merke seg at <math>\equiv</math> ikke er en del av den rene lambdakalkylen, men er bare ment for gi navn til termer i [[metaspråk|metaspråket]].