Programming Language Theory Flashcard
What is a normal form?
Books
Concepts
Deckpure-lambda-calculus
Question
What is a normal form?
Answer
A normal form is a lambda term that does not relate to any other terms by the One-step evaluation relation.