Courses

16:615:531 Semantics II (3)

Mathematical tools for relating syntactic structure to semantic interpretation. Topics include higher-order logic, lambda calculus, intensional logic, type theory, type-driven translation, type lifting, and lattices.

Prerequisite: 16:615:530.

Professor Bittner's Syllabus for Spring 2012
Professor Bittner's Syllabus for Spring 2010



Spring 2012: Prof. Bittner