Fixed Point (Lambda Calculus)

lambda-calculus

Definition

Fixed Point (Lambda Calculus)

A lambda expression $N$ is called fixed point of lambda expression $F$ iff:

$$FN{\equiv }_{\beta }N$$