Types and Programming Languages

  < Free Open Study > 

A.6 Lemma

If then (and similarly for the other term constructors).

Proof: Easy induction.

  < Free Open Study > 

Related

Категории