Programming Language Theory FlashcardIn a generic rule, what are global variables and local variables?Properties 2Hide BooksChapter 3. Hypothetical and general judgments DeckgeneralQuestionIn a generic rule, what are global variables and local variables?Answer Previous in FlashcardsHow to write an admissibility judgment and what does it mean?Next in Flashcards In a hypothetical rule, what does deriving a premise involve?