Programming Language Theory Flashcard
How do we make sure the formal derivability judgment behaves as an expected derivability judgment
Books
Deckgeneral
Question
How do we make sure the formal derivability judgment behaves as an expected derivability judgment
Answer