Programming Language Theory Flashcard
Why is the derivability judgment stable under extension to the rules?
Books
Deckgeneral
Question
Why is the derivability judgment stable under extension to the rules?
Answer
Question
Why is the derivability judgment stable under extension to the rules?
Answer