Programming Language Theory Flashcard
What is the difference between a formal derivability judgment and a derivability judgment?
Books
Deckgeneral
Question
What is the difference between a formal derivability judgment and a derivability judgment?
Answer