Lambdakalkylen er hverken svakt eller sterkt normaliserende (eng: og ), ettersom f.eks. termen ikke har noen beta normalform.