A.15 Lemma Weakening
|
| < Free Open Study > |
|
A.15 Lemma [Weakening]
If Г ⊢ t: C, then Г, x: D ⊢ t : C.
Proof: Straightforward induction.
|
| < Free Open Study > |
|
Types and Programming Languages
ISBN: 0262162091
EAN: 2147483647
EAN: 2147483647
Year: 2002
Pages: 262
Pages: 262
Authors: Benjamin C. Pierce