Courses of Study 2021-2022 
    May 27, 2024  
Courses of Study 2021-2022 [ARCHIVED CATALOG]

Add to Favorites (opens a new window)

CS 6860 - [Logics of Programs]

Spring. Not offered: 2021-2022. Next offered: 2023-2024. 4 credits. Student option grading.

Prerequisite: CS 6110 , CS 4810 , MATH 4810 .


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.

Add to Favorites (opens a new window)