Programming Language Theory FlashcardWhat is a metavariable?Properties 3Hide BooksChapter 3. Untyped arithmetic expressions ConceptsMetavariable Decklanguage theoryQuestionWhat is a metavariable?AnswerA variable of the metalanguage that ranges over terms of a syntactic category. Previous in FlashcardsWhat is a metatheory?Next in Flashcards What is a normal form?