Programming Language Theory Flashcard

What is the one-step evaluation relation?

Books

Concepts

Deckpure-lambda-calculus

Question

What is the one-step evaluation relation?

Answer

A relation that relates a term to its immediate successor in a calculus, representing one step of evaluation.