Programming Language Theory Flashcard

What is the divergent combinator?

Books

Concepts

Deckpure-lambda-calculus

Question

What is the divergent combinator?

Answer

The Divergent/Big omega combinator:

Ω = (λ x . x x) (λ x . x x)