Lukas' Notes

Search titles, aliases and note text. Use # for tags.

Fixed Point (Lambda Calculus)

1 min read

lambda-calculus

Definition

Fixed Point (Lambda Calculus)

A lambda expression is called fixed point of lambda expression iff:

Backlinks