Elements of Programming

Chapter 1 - Foundations

• Lemmas

  • 1.1 - If a value type is uniquely represented, equality implies representational equality.

  • 1.2 - If a value type is not ambiguous, representational equality implies equality.