Programming Language Theory FlashcardWhat is an evaluation strategy?Properties 3Hide BooksChapter 5. The untyped/pure lambda-calculus ConceptsEvaluation strategy Deckpure-lambda-calculusQuestionWhat is an evaluation strategy?AnswerA specification of what redexes can be reduced an in what order. Previous in FlashcardsWhat is an equivalent way of defining $J_1, \dots, J_n \vdash_{\mathcal{R}} J$?Next in Flashcards What is an evaluator?