Semantics of Computation



  • 2014 Spring/Summer (Jan - May)

Syllabus: Various approaches to formal semantics, including operational, axiomatic, and denotational semantics; Lambda calculus; Domain theory; Type theory; Semantics of concurrency.

Suggested Reading:

Practical Foundations of Programming Languages by Bob Harper, Cambridge University Press, 2013.

Concepts in Programming Languages by John Mitchell, Cambridge University Press, 2003.