Programming Language Theory Flashcard
What
Books
Decklogic tools
Question
What's the difference between a judgment and a judgment form?
Answer
A Judgment is announcement that there is a proof for something.
A Judgment form is a relation that defines the syntax and arguments required to make a specific kind of judgment (e.g., the "is a type" relation).