Programming Language Theory FlashcardWhat is a metatheory?Properties 3Hide BooksChapter 3. Untyped arithmetic expressions ConceptsMetatheory Deckother mathematicsQuestionWhat is a metatheory?AnswerThe study about properties of a formal system, using external reasonings. Previous in FlashcardsWhat is a metalanguage?Next in Flashcards What is a metavariable?