CS 253 F Sample Programs

  1. Inductively defined sets and datatypes.
  2. Representing Signatures and signed algebras
  3. The unique homomorphism from T_Sigma.