Programming Language Theory FlashcardWhat is usually meant by substitution?Properties 3Hide BooksChapter 5. The untyped/pure lambda-calculus ConceptsCapture-avoiding substitution Deckpure-lambda-calculusQuestionWhat is usually meant by substitution?AnswerCapture-avoiding substitution Previous in FlashcardsWhat is the wildcard pattern in rocq?Next in Flashcards What is usually used as a state for the abstract machine in operational semantics?