Types and Programming Languages
|
| < Free Open Study > |
|
A.15 Lemma [Weakening]
If Г ⊢ t: C, then Г, x: D ⊢ t : C.
Proof: Straightforward induction.
|
| < Free Open Study > |
|
|
| < Free Open Study > |
|
If Г ⊢ t: C, then Г, x: D ⊢ t : C.
Proof: Straightforward induction.
|
| < Free Open Study > |
|