Ctrlk

lambda-calculus-reductions

Alpha conversion Beta reduction Delta reduction Eta conversion Eta conversion Lambda calculus: η-conversion

PreviousFixity of lambda-terms NextAlpha conversion