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