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
Rutgers is an equal access/equal opportunity institution. Individuals with disabilities are encouraged to direct suggestions, comments, or complaints concerning any accessibility issues with Rutgers web sites to: accessibility@rutgers.edu or complete the Report Accessibility Barrier or Provide Feedback Form.
Copyright © 2024, Rutgers, The State University of New Jersey, an equal opportunity, affirmative action institution. All rights reserved.
