lambda-calculus Definition Lambda Normal Form A lambda expression is in normal form when there are no reductions that can be applied (no redex).