Concept
Induction on derivations
Books
Journey Statuslearning
An induction technique in which to prove a specific property about a Derivation, we take the Inductive hypothesis is that every smaller derivations satisfy that property.
An induction technique in which to prove a specific property about a Derivation, we take the Inductive hypothesis is that every smaller derivations satisfy that property.