Semantics of Programming

Semantics of Programming

The Semantics group is part of the MIT LCS Theory of Computation Group.

Academic Staff

Support Staff


mit Copyright © 1999. All rights reserved.
Comments and questions to dmjones@lcs.mit.edu
Last updated 3/24/99