Termene til lambdakalkylen, i sin rene form, veldig enkle. Det er tre former for uttrykk: (1) variabler, (2) funksjoner, og (3) funksjonskall. Termene kan beskrives med en grammatikk som: . Hvor variablene hentes fra mengden , og mengden av alle termer kalles . Termen representerer funksjonskall, hvor er funksjonen, og er argumentet. Dette skrives gjerne som i konvensjonell matte. Termen representerer en funksjon som tar ett argument og binder det til , for så å regne ut verdien til kroppen . I konvensjonell matte kan man skrive dette som . Termen kalles ofte eller .