- Schedule of Classes - September 9, 2021 7:14PM EDT
- Course Catalog - September 9, 2021 7:15PM EDT
Course information provided by the Courses of Study 2020-2021.
Topics in type theory as a foundation for programming languages and computing theory. The key prerequisites are CS 6110 and CS 4810. Topics will include: semantics of programming languages and logics, constructive and intuitionistic logics, the propositions-as-types principle, extracting proofs from programs, Hoare logics and Kleene algebras for reasoning about programs, computational complexity in type theory, formal relationships among type theories and programming logics, inductive and co-inductive types.
When Offered Spring.
Prerequisites/Corequisites Prerequisite: CS 6110, CS 4810, MATH 4810.
Regular Academic Session.
Credits and Grading Basis
4 Credits Graded(Letter grades only)
Class Number & Section Details
- MW Online Meeting
- Feb 8 - May 14, 2021
Instruction Mode: Online
Enrollment limited to graduate & professional students only. All others may add themselves to the waitlist during add/drop. Please go to http://www.cs.cornell.edu/courseinfo/enrollment for updates.
Disabled for this roster.