Hvis en term ikke kan reduseres, altså, det finnes ingen slik at , så kalles en verdi. Det er bevist at for alle termer , kontekster og typer slik at , så vil slik at er en verdi. Dette er ikke tilfellet for utypet lambdakalkyle, hvor f.eks. termen ikke reduserer til noen verdi.