Operational, denotational, and axiomatic semantics; lambda-calculus. Antirequisite(s): Prerequisite(s): Computer Science 2209A/B and 3331A/B and 3342A/B, or permission of the Department. Corequisite(s): Pre-or Corequisite(s): Extra Information: 3 lecture hours, 0.5 course. back to top
