A.2 Proposition
|
| < Free Open Study > |
|
A.2 Proposition
For all original terms g, (
, where g′ is stuck) iff (
wrong).
To prove this, we proceed in several steps. First, we remark that the new transitions we have added do not invalidate Theorem 3.5.14.
|
| < Free Open Study > |
|
Types and Programming Languages
ISBN: 0262162091
EAN: 2147483647
EAN: 2147483647
Year: 2002
Pages: 262
Pages: 262
Authors: Benjamin C. Pierce