Image not available
Image not available
Image not available
Image not available
Image not available
Image not available
Image not available
Image not available
Image not available
Image not available
Image not available
Image not available
Image not available
Image not available
Image not available
Image not available

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

Contact Us

18 Seminary Place
New Brunswick, NJ 08901-1184
Phone: 848.932.0477

Fax: 732.932.1370
This email address is being protected from spambots. You need JavaScript enabled to view it.