Programming Language Theory Flashcard
What are the desirable properties of the evaluation relation there can be in a system?
Books
Deckpure-lambda-calculus
Question
What are the desirable properties of the evaluation relation there can be in a system?
Answer
Desired property: Termination of evaluation
Desired property: Normal form implies values
Desired property: Uniqueness of normal forms
Desired property: Value is in normal form
Desired property: Determinacy of one-step evaluation relation