scrambled
Thoughts
Journeys
Reads
Sign in
Sign in
← back to Proof Technique deck
Kitchen
/
Journeys
/
Programming language theory
/
How are derivations visualized?
Proof Technique
Wrong
Right
New · 0d
question
How are derivations visualized?
Hint
Derivation
Derivation tree
Chapter 2. inductive definitions
← Previous flashcard
Formalize function application and describe its notation in pure lambda calculus?
Next flashcard →
How can a set of evaluation rules enforce an evaluation strategy?