- Schedule of Classes - January 19, 2016 6:14PM EST
- Course Catalog - January 19, 2016 6:21PM EST
Course information provided by the Courses of Study 2015-2016.
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 Fall.
Prerequisites/Corequisites Prerequisite: CS 6110, CS 4810, and MATH 4810.
Credits and Grading Basis
4 Credits Stdnt Opt(Student Option)
Class Number & Section Details
- TRUpson Hall 215
Open to CS/IS PhD and CS MS; MEng and undergraduate by instructor permission during the add/drop period.
Disabled for this roster.