Description
Specifying syntax and semantics; operational and denotational semantics. Lambda calculi, type systems and logical foundations. Meta-theoretic properties. Semantics of imperative languages. Three term-hours; lectures and seminars. Offered jointly with CISC 465. (3.0 credit units).