Programming Language Theory FlashcardWhat does uniformity enable? what does it have to the implicit/local form?Properties 2Hide BooksChapter 3. Hypothetical and general judgments DeckgeneralQuestionWhat does uniformity enable? what does it have to the implicit/local form?Answer Previous in FlashcardsWhat does the transition function do in the structural operational semantics?Next in Flashcards What does "variables in an AST range over some specified sorts" mean?