Programming Language Theory Flashcard
What are the structural properties of generic derivability judgment, governing the behavior of variables, if the rules are uniform?
Books
Deckgeneral
Question
What are the structural properties of generic derivability judgment, governing the behavior of variables, if the rules are uniform?
Answer